Sciweavers

1758 search results - page 249 / 352
» Energy-Efficient Communication Protocol for Wireless Microse...
Sort
View
106
Voted
WWIC
2005
Springer
147views Communications» more  WWIC 2005»
15 years 7 months ago
Location Assisted Fast Vertical Handover for UMTS/WLAN Overlay Networks
UMTS/WLAN integration offers considerable benefits for the users as well as for the mobile network. As soon as coverage is available, a mobile user should be able to switch seamle...
Tom Van Leeuwen, Ingrid Moerman, Bart Dhoedt, Piet...
HOLOMAS
2009
Springer
15 years 6 months ago
Mobility Model for Tactical Networks
In this paper a synthetic mobility model which represents behavior and movement pattern of heterogeneous units in disaster relief and battlefield scenarios is proposed. These oper...
Milan Rollo, Antonín Komenda
TRIDENTCOM
2008
IEEE
15 years 8 months ago
A quantitative evaluation of the MeshTest wireless testbed
The MeshTest testbed is designed to subject wireless devices and protocols to realistic and repeatable mobile scenarios, including multi-hop and disconnected topologies. The testb...
Brenton Walker, Charles Clancy
137
Voted
JACM
2002
163views more  JACM 2002»
15 years 1 months ago
Formal verification of standards for distance vector routing protocols
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
Karthikeyan Bhargavan, Davor Obradovic, Carl A. Gu...
ICC
2007
IEEE
112views Communications» more  ICC 2007»
15 years 8 months ago
A Collision-free Based Rotational Listening Strategy (RLS) for IEEE 802.15.4 WPAN
— The standard IEEE 802.15.4 medium access control (MAC) protocol is designed for low-power transmissions in low-rate and short-distance wireless personal area networks (WPANs). ...
Shiann-Tsong Sheu, Yun-Yen Shih