Sciweavers

5512 search results - page 935 / 1103
» Mobile networks unplugged
Sort
View
TASE
2009
IEEE
16 years 1 months ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin
ICRA
2008
IEEE
176views Robotics» more  ICRA 2008»
16 years 1 months ago
Experimental investigation on underwater acoustic ranging for small robotic fish
— GPS-free localization is essential for navigation and information tagging in small robotic fish-based aquatic mobile sensor networks. Constraints on size, weight, and onboard ...
Stephan Shatara, Xiaobo Tan, Ernest Mbemmo, Nathan...
ISM
2008
IEEE
157views Multimedia» more  ISM 2008»
16 years 29 days ago
PhotoGeo: A Self-Organizing System for Personal Photo Collections
Nowadays the photo-capturing devices are no longer limited to digital cameras but include mobile phones, PDAs and others. This is leading to a new problem: a very large number of ...
Yuri Almeida Lacerda, Hugo Feitosa de Figueir&ecir...
PERCOM
2008
ACM
16 years 28 days ago
Improving Emergency Response to Mass Casualty Incidents
Mass causality incidents generate a sequence of response events from the emergency services, requiring the allocation and use of resources in a timely fashion. In this paper we de...
Marcus Lucas da Silva, Vassilis Kostakos, Mitsuji ...
VTC
2008
IEEE
165views Communications» more  VTC 2008»
16 years 28 days ago
Operation and Performance of Vehicular Ad-Hoc Routing Protocols in Realistic Environments
—Vehicle-to-vehicle and vehicle-to-infrastructure wireless communications are currently under development to improve traffic efficiency and safety. Routing protocols enabling mul...
Ramon Bauza, Javier Gozálvez, Miguel Sepulc...