788 search results - page 11 / 158 » Coordination support in multi-agent systems |
CAV
2009
Springer
13 years 11 months ago
2009
Springer
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...
DEXAW
2005
IEEE
14 years 29 days ago
2005
IEEE
As the complexity of computing systems steadily increases, self-managing systems – as Autonomic Computing Systems (ACS) proposed by IBM – are an adequate approach to minimize ...
ATAL
2006
Springer
13 years 11 months ago
2006
Springer
The Multi-Agent Coordination and Control (MACC) testbed is a modelling and simulation environment for manufacturing control. It provides benefits to both the research community an...
IJCIS
2002
13 years 7 months ago
2002
The explosive growth in genomic (and soon, expression and proteomic) data, exemplified by the Human Genome Project, is a fertile domain for the application of multi-agent informat...
ICRA
2010
IEEE
13 years 5 months ago
2010
IEEE
Abstract— Localization in multi-robot systems is a key problem in multi agent systems. In many cases, specially involving legged robots, like the Robocup soccer competition, it r...