Sciweavers

1255 search results - page 8 / 251
» A Proof Environment for the Development of Group Communicati...
Sort
View
AINA
2007
IEEE
13 years 11 months ago
Collision prevention using group communication for asynchronous cooperative mobile robots
The paper presents a fail-safe mobility management and a collision prevention platform for a group of asynchronous cooperative mobile robots. The fail-safe platform consists of a ...
Rami Yared, Xavier Défago, Matthias Wiesman...
CSCW
2004
ACM
14 years 29 days ago
Group awareness in distributed software development
Open-source software development projects are almost always collaborative and distributed. Despite the difficulties imposed by distance, these projects have managed to produce lar...
Carl Gutwin, Reagan Penner, Kevin A. Schneider
IWCC
1999
IEEE
13 years 11 months ago
A High Performance Communication Subsystem for PODOS
PODOS is a performance oriented distributed operating system being developed to harness the performance capabilities of a cluster computing environment. In order to address the gr...
Sudharshan Vazhkudai, P. Tobin Maginnis
CCS
2005
ACM
14 years 1 months ago
A modular correctness proof of IEEE 802.11i and TLS
The IEEE 802.11i wireless networking protocol provides mutual authentication between a network access point and user devices prior to user connectivity. The protocol consists of s...
Changhua He, Mukund Sundararajan, Anupam Datta, An...
MOBICOM
2006
ACM
14 years 1 months ago
Acoustic propagation considerations for underwater acoustic communications network development
Underwater acoustic communications systems are challenged by the characteristics of acoustic propagation through the underwater environment. There are a wide range of physical pro...
James Preisig