Sciweavers

7992 search results - page 319 / 1599
» Communication Abstractions for Distributed Systems
Sort
View
135
Voted
ADT
2005
15 years 3 months ago
Assembling components with behavioural contracts
Component based design is a new paradigm to build distributed systems and applications. The problem of compositional verification of such systems is however still open. We investig...
Cyril Carrez, Alessandro Fantechi, Elie Najm
101
Voted
ATAL
2003
Springer
15 years 8 months ago
Formal semantics and communication strategies for proactive information delivery among team-based agents
Effective human teams often benefit from proactivity through members’ capability of anticipating different needs of teammates. In this paper, we focus on three issues related...
John Yen, Xiaocong Fan, Shuang Sun, Rui Wang, Cong...
156
Voted
GW
2003
Springer
310views Biometrics» more  GW 2003»
15 years 8 months ago
Ghost in the Cave - An Interactive Collaborative Game Using Non-verbal Communication
The interactive game environment, Ghost in the Cave, presented in this short paper, is a work still in progress. The game involves participants in an activity using non-verbal emot...
Marie-Louise Rinman, Anders Friberg, Bendik Bendik...
ALGOSENSORS
2008
Springer
15 years 5 months ago
Probabilistic Protocols for Fair Communication in Wireless Sensor Networks
In this work we present three new distributed, probabilistic data propagation protocols for Wireless Sensor Networks which aim at maximizing the network's operational life and...
Ioannis Chatzigiannakis, Lefteris M. Kirousis, Tho...
146
Voted
ATAL
2010
Springer
15 years 4 months ago
UAV swarm coordination using cooperative control for establishing a wireless communications backbone
In this paper, we present a mechanism to fly a swarm of UAVs with the aim of establishing a wireless backbone over a pre-specified area. The backbone is aimed at connecting interm...
Achudhan Sivakumar, Colin Keng-Yan Tan