245 search results - page 6 / 49 » Dynamic Model Checking for Multi-agent Systems |
ATAL
2005
Springer
14 years 25 days ago
2005
Springer
Distributed Multi-Agent Systems (DMAS) such as supply chains functioning in highly dynamic environments need to achieve maximum overall utility during operation. The utility from ...
EUMAS
2006
13 years 8 months ago
2006
Systems often exhibit hierarchical structures and multiple levels of abstraction, and MultiAgent Systems, even if they have proved their adequacy to model such systems, mains in t...
MAGS
2008
13 years 7 months ago
2008
This paper presents approaches for building, managing, and evaluating consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent h...
COMPSAC
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents an approach for building consensus ontologies from the individual ontologies of a network of socially interacting agents. Each agent has its own conceptualizat...
MABS
2000
Springer
13 years 11 months ago
2000
Springer
Multi Agent Based Simulation (MABS) has been used mostly in purely social contexts. However, compared to other approaches, e.g., traditional discrete event simulation, object-orien...