8555 search results - page 214 / 1711 » Property Based Coordination |
128
click to vote
SEFM
2009
IEEE
15 years 11 months ago
2009
IEEE
—This paper addresses the issue of guaranteeing the correctness of fault diagnosis mechanisms in multi-agent systems. We propose an automated approach to verifying the property o...
172
click to vote
DALT
2009
Springer
15 years 8 months ago
2009
Springer
This paper generalises the theory of agent refinement from [1] to multi-agent systems in the presence of new coordination mechanisms extended with real time. The generalisation is ...
133
click to vote
ICHIM
2001
15 years 6 months ago
2001
Traditional visits to environments interesting from a cultural point of view are based on technologies that do not permit flexibility and modification to the visit itself on the b...
135
click to vote
EEE
2005
IEEE
15 years 10 months ago
2005
IEEE
A company doing e-business needs capabilities to negotiate electronically the parameters of its deals in order to fully utilize the potential of the Information and Communication ...
133
click to vote
ICRA
2005
IEEE
15 years 10 months ago
2005
IEEE
—We present a navigation function through which a group of mobile agents can be coordinated to achieve a particular formation, both in terms of shape and orientation, while avoid...