Sciweavers

723 search results - page 13 / 145
» Organized Anonymous Agents
Sort
View
CORR
2010
Springer
158views Education» more  CORR 2010»
13 years 7 months ago
Epistemic Model Checking for Knowledge-Based Program Implementation: an Application to Anonymous Broadcast
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
Omar I. Al-Bataineh, Ron van der Meyden
ATAL
2008
Springer
13 years 9 months ago
OperettA: a prototype tool for the design, analysis and development of multi-agent organizations
OperettA is a graphical tool that supports the design, verification and simulation of OperA models. It ensures consistency between different design parts, provides a formal specif...
Daniel Okouya, Virginia Dignum
SSS
2009
Springer
127views Control Systems» more  SSS 2009»
14 years 2 months ago
Robustness and Dependability of Self-Organizing Systems - A Safety Engineering Perspective
Abstract. This paper analyses the robustness of self-organizing (engineered) systems to perturbations (faults or environmental changes). It considers that a self-organizing system ...
Giovanna Di Marzo Serugendo
E4MAS
2004
Springer
14 years 28 days ago
AGRE: Integrating Environments with Organizations
Abstract. This paper presents an extension of the AGR (Agent-GroupRole) organizational model, called AGRE (AGR + Environment), which includes physical (or simply geometrical) envir...
Jacques Ferber, Fabien Michel, José-Antonio...
ATAL
2004
Springer
14 years 28 days ago
Negotiation to Improve Role Adoption in Organizations
We present negotiation schemes for efficient role adoption that enhance utility in organizations. In one scheme, local utility computations determine role adoption. In the second ...
Asad Rahman, Henry Hexmoor