352 search results - page 27 / 71 » Proof-Checking a Data Link Protocol |
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—The highly stochastic nature of wireless environments makes it desirable to monitor link loss rates in wireless sensor networks. In this paper, we study the loss inferen...
MOBICOM
2009
ACM
14 years 3 months ago
2009
ACM
There has been burgeoning interest in wireless technologies that can use wider frequency spectrum. Technology advances, such as 802.11n and ultra-wideband (UWB), are pushing towar...
SENSYS
2004
ACM
14 years 1 months ago
2004
ACM
Wireless sensor network applications, similarly to other distributed systems, often require a scalable time synchronization service enabling data consistency and coordination. Thi...
IPSN
2010
Springer
14 years 3 months ago
2010
Springer
Current data collection protocols for wireless sensor networks are mostly based on quasi-static minimum-cost routing trees. We consider an alternative, highly-agile approach calle...
INFOCOM
2006
IEEE
14 years 2 months ago
2006
IEEE
— Opportunistic spectrum access and adaptive power management are effective techniques to improve throughput, delay performance, and energy efficiency for wireless networks. In ...