Sciweavers

8555 search results - page 66 / 1711
» Property Based Coordination
Sort
View
ATAL
2007
Springer
16 years 9 days 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 11 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 10 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 9 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 7 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...