Sciweavers

8555 search results - page 66 / 1711
» Property Based Coordination
Sort
View
ATAL
2007
Springer
15 years 6 months ago
Executing multi-robot cases through a single coordinator
It is challenging to design general robot soccer coordination behaviors that address individual states. We have successfully followed a case-based approach to define behaviors fo...
Raquel Ros, Manuela M. Veloso
DIALM
2004
ACM
100views Algorithms» more  DIALM 2004»
15 years 5 months ago
Virtual coordinates for ad hoc and sensor networks
In many applications of wireless ad hoc and sensor networks, position-awareness is of great importance. Often, as in the case of geometric routing, it is sufficient to have virtua...
Thomas Moscibroda, Regina O'Dell, Mirjam Wattenhof...
WETICE
1996
IEEE
15 years 4 months ago
Independent validation of specifications: a coordination headache
Large, complex projects face significant barriers to coordination and communication due to continuous, rapid changes during a project's lifecycle. Such changes must be tracke...
Steve M. Easterbrook, John R. Callahan
COORDINATION
2000
Springer
15 years 3 months ago
GCCS: A Graphical Coordination Language for System Specification
Abstract. We present GCCS, a graphical coordination language for hierarchical concurrent systems. GCCS, which is implemented in the Concurrency Factory design environment, represen...
Rance Cleaveland, Xiaoqun Du, Scott A. Smolka
ICWS
2008
IEEE
15 years 1 months ago
A Dependable Infrastructure for Cooperative Web Services Coordination
A current trend in the web services community is to define coordination mechanisms to execute collaborative tasks involving multiple organizations. Following this tendency, this w...
Eduardo Adílio Pelinson Alchieri, Alysson N...