Sciweavers

8555 search results - page 118 / 1711
» Property Based Coordination
Sort
View
LCN
2002
IEEE
14 years 1 months ago
A Locally Coordinated Scatternet Scheduling Algorithm
There is growing interest in wireless personal area networks built from portable devices equipped with shortrange radio interfaces such as Bluetooth. These small networks (called ...
Godfrey Tan, John V. Guttag
WMCSA
2002
IEEE
14 years 1 months ago
A Platform Supporting Coordinated Adaptation in Mobile Systems
Mobile environments are highly dynamic, characterised by frequent and sudden changes in resource availability. As a consequence, adaptive mobile applications need to be capable of...
Christos Efstratiou, Adrian Friday, Nigel Davies, ...
EMSOFT
2006
Springer
14 years 18 days ago
A hierarchical coordination language for interacting real-time tasks
We designed and implemented a new programming language called Hierarchical Timing Language (HTL) for hard realtime systems. Critical timing constraints are specified within the la...
Arkadeb Ghosal, Alberto L. Sangiovanni-Vincentelli...
CAIP
1995
Springer
137views Image Analysis» more  CAIP 1995»
14 years 14 days ago
Extending the Point Distribution Model Using Polar Coordinates
The Point Distribution Model (PDM) has already proved useful for many tasks involving the location or tracking of deformable objects. A principal limitation lies in the fact that n...
Tony Heap, David Hogg
ATAL
2008
Springer
13 years 11 months ago
Teaching multi-robot coordination using demonstration of communication and state sharing
Solutions to complex tasks often require the cooperation of multiple robots, however, developing multi-robot policies can present many challenges. In this work, we introduce teach...
Sonia Chernova, Manuela M. Veloso