Sciweavers

57 search results - page 2 / 12
» Executable specification of open multi-agent systems
Sort
View
IAT
2006
IEEE
13 years 11 months ago
A Component-Based Architecture for Multi-Agent Systems
A Multi-agent system (MAS) is an open distributed system of agents. The agents in a MAS may form certain specific groups, where agents in each group jointly engage in solving a s...
Kaiyu Wan, Vasu S. Alagar
CW
2003
IEEE
13 years 10 months ago
MASCARET: Pedagogical Multi-Agents System for Virtual Environment for Training
This study concerns virtual environments for training in operational conditions. The principal developed idea is that these environments are heterogeneous and open multi-agent sys...
Cedric Buche, Ronan Querrec, Pierre De Loor, Pierr...
PAAMS
2010
Springer
13 years 3 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...
CAV
2009
Springer
239views Hardware» more  CAV 2009»
13 years 9 months ago
MCMAS: A Model Checker for the Verification of Multi-Agent Systems
tic modalities for correctness [16]. The release described in this abstract is a complete rebuild of a preliminary experimental checker [14]. The model input language includes vari...
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
WOA
2007
13 years 6 months ago
A Framework for Interacting Situated Agents in Virtual Environments
—This paper presents a framework supporting the definition and implementation of virtual environment inhabited by interacting situated agents defined according to the Multilayere...
Giuseppe Vizzari, Giorgio Pizzi, Flávio S. ...