Guidance and Law Policies in Multiagent Systems
暂无分享,去创建一个
[1] Brett Benyo,et al. Representation and reasoning for DAML-based policy and domain services in KAoS and nomads , 2003, AAMAS '03.
[2] Scott A. DeLoach,et al. Engineering Organization-Based Multiagent Systems , 2005, SELMAS.
[3] Yanhong A. Liu,et al. Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods , 2000, CAV.
[4] Joël Ouaknine,et al. State/Event-Based Software Model Checking , 2004, IFM.
[5] Franco Zambonelli,et al. Organisational Rules as an Abstraction for the Analysis and Design of Multi-Agent Systems , 2001, Int. J. Softw. Eng. Knowl. Eng..
[6] Timothy W. Finin,et al. A Policy Based Approach to Security for the Semantic Web , 2003, SEMWEB.
[7] Lujo Bauer,et al. Edit automata: enforcement mechanisms for run-time security policies , 2005, International Journal of Information Security.
[8] Scott A. DeLoach,et al. Integrating Ontologies into Multiagent Systems Engineering , 2002, AOIS@AAMAS.
[9] Sarit Kraus,et al. Security in multiagent systems by policy randomization , 2006, AAMAS '06.
[10] J. R. Büchi. On a Decision Method in Restricted Second Order Arithmetic , 1990 .
[11] George S. Avrunin,et al. PROPEL: an approach supporting property elucidation , 2002, ICSE '02.
[12] R. Sterritt,et al. Towards Modeling, Specifying and Deploying Policies in Autonomous and Autonomic Systems Using an AOSE Methodology , 2006, Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06).
[13] Leon J. Osterweil,et al. Cecil: A Sequencing Constraint Language for Automatic Static Analysis Generation , 1990, IEEE Trans. Software Eng..
[14] Scott A. DeLoach,et al. An Organizational Model and Dynamic Goal Model for Autonomous, Adaptive Systems , 2006 .
[15] S. Sieber. On a decision method in restricted second-order arithmetic , 1960 .
[16] Stephan Merz,et al. Model Checking , 2000 .
[17] Scott A. DeLoach,et al. Using Design Metrics for Predicting System Flexibility , 2006, FASE.
[18] Jeffrey O. Kephart,et al. The Vision of Autonomic Computing , 2003, Computer.
[19] Scott A. DeLoach. Modeling Organizational Rules in the Multi-agent Systems Engineering Methodology , 2002, Canadian Conference on AI.
[20] Moshe Tennenholtz,et al. On Social Laws for Artificial Agent Societies: Off-Line Design , 1995, Artif. Intell..
[21] Michael Luck,et al. Software Engineering for Multi-Agent Systems IV , 2005, Lecture Notes in Computer Science.
[22] Scott A. DeLoach,et al. An Investigation of Reorganization Algorithms , 2006, IC-AI.
[23] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.