296 search results - page 28 / 60 » atal 2010 |
96
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
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...
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
DPOP is an algorithm for distributed constraint optimization which has, as main drawback, the exponential size of some of its messages. Recently, some algorithms for distributed c...
93
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Alternating-time Temporal Logic (ATL) [1] is used to reason about strategic abilities of agents. Aiming at strategies that can realistically be implemented in software, many varia...
112
click to vote
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
Robotic swarms, like all spatial computers, are a challenging environment for the execution of distributed consensus algorithms due to their scale, diameter, and frequent failures...
94
Voted
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
The Prometheus Design Tool (PDT) is a graphical tool that is used to design a Multi-Agent System following the Prometheus Methodology. This paper describes the latest version of P...