Sciweavers

440 search results - page 34 / 88
» Multi Site Coordination using a Multi-Agent System
Sort
View
ICSOC
2007
Springer
14 years 2 months ago
Verifying Temporal and Epistemic Properties of Web Service Compositions
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
Alessio Lomuscio, Hongyang Qu, Marek J. Sergot, Mo...
SKG
2006
IEEE
14 years 2 months ago
Caribbean/Q: A Massively Multi-Agent Platform with Scenario Description Language
Making a truly useful massively multi-agent system is difficult since the actions of the full ensemble of agents cannot be controlled by designing just one agent. It is critical ...
Yuu Nakajima, Hironori Shiina, Shohei Yamane, Hiro...
AIL
2008
94views more  AIL 2008»
13 years 8 months ago
Building computational institutions for agents with RoleX
While the sociality of software agents drives toward the definition of institutions for multi agent systems, their autonomy requires that such institutions be ruled by appropriate...
Giacomo Cabri, Luca Ferrari, Rossella Rubino
WER
2004
Springer
14 years 2 months ago
Enhancing Requirements to derive Multi-Agent Architectures
Software systems of today are characterized by the increasing size, complexity, distribution and heterogeneity. Understanding and supporting the interaction between software requir...
Lúcia R. D. Bastos, Jaelson Brelaz de Castr...
DAGSTUHL
2007
13 years 10 months ago
Normative Multi-Agent Organizations: Modeling, Support and Control, Draft Version
Abstract. In the last years, social and organizational aspects of agency have become a major issue in multi-agent systems’ research. Recent applications of MAS enforce the need o...
Olivier Boissier, Benjamin Gâteau