1413 search results - page 199 / 283 » ideas 2007 |
147
click to vote
ATAL
2007
Springer
16 years 11 days ago
2007
Springer
Failures in plan execution can be attributed to errors in the execution of plan steps or violations of the plan structure. The structure of a plan prescribes which actions have to...
154
click to vote
ATAL
2007
Springer
16 years 11 days ago
2007
Springer
In open MAS it is often a problem to achieve agents' interoperability. The heterogeneity of its components turns the establishment of interaction or cooperation among them in...
136
click to vote
ATAL
2007
Springer
16 years 11 days ago
2007
Springer
Commitment protocols formalize interactions among autonomous, heterogeneous agents, leaving the agents’ local policies unspecified. This paper studies the problem of agents ena...
163
click to vote
B
2007
Springer
16 years 11 days ago
2007
Springer
Symmetry reduction is an established method for limiting the amount of states that have to be checked during exhaustive model checking. The idea is to only verify a single represen...
235
click to vote
BIOWIRE
2007
Springer
16 years 11 days ago
2007
Springer
Epidemics-inspired techniques have received huge attention in recent years from the distributed systems and networking communities. These algorithms and protocols rely on probabili...