Sciweavers

440 search results - page 46 / 88
» Multi Site Coordination using a Multi-Agent System
Sort
View
APAL
2006
112views more  APAL 2006»
13 years 8 months ago
On complexity of verification of interacting agents' behavior
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...
PAAMS
2010
Springer
13 years 7 months ago
ASGARD - A Graphical Monitoring Tool for Distributed Agent Infrastructures
Abstract Monitoring the runtime behaviour of a distributed agent system for debugging or demonstration purposes provides a challenge to agent system developers. As a lot of the com...
Jakob Tonn, Silvan Kaiser
ATAL
2010
Springer
13 years 9 months ago
THOMAS: a service-oriented framework for virtual organizations
This paper describes the THOMAS framework, a useful framework for the development of virtual organizations, on the basis of a service-based approach. Categories and Subject Descri...
Elena del Val Noguera, Natalia Criado, Carlos Carr...
ATAL
2003
Springer
14 years 1 months ago
Information-driven phase changes in multi-agent coordination
Large systems of agents deployed in a real-world environment face threats to their problem solving performance that are independent of the complexity of the problem or the charact...
Sven Brueckner, H. Van Dyke Parunak
PAAMS
2010
Springer
13 years 6 months ago
Open MAS Architecture. Providing Real Time Solutions
This presents a study in which a high level abstract architecture was used to design open multi-agent systems and virtual organizations that offer services with temporal constraint...
Martí Navarro, Sara Rodríguez, Vicen...