288 search results - page 49 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
JUCS
2006
14 years 9 months ago
2006
Abstract: In ad-hoc networks, mobile devices communicate via wireless links without the aid of any fixed networking infrastructure. These devices must be able to discover services ...
ISCC
2006
IEEE
2006
IEEE
Time-Critical Underwater Sensor Diffusion with No Proactive Exchanges and Negligible Reactive Floods
15 years 3 months ago
— In this paper we study multi-hop ad hoc routing in a scalable Underwater Sensor Network (UWSN), which is a novel network paradigm for ad hoc investigation of the world below th...
121
click to vote
INFOCOM
2002
IEEE
15 years 2 months ago
2002
IEEE
IEEE 802.11 Medium Access Control(MAC) is proposed to support asynchronous and time bounded delivery of radio data packets in infrastructure and ad hoc networks. The basis of the I...
83
Voted
WOWMOM
2006
ACM
15 years 3 months ago
2006
ACM
Delay tolerant and mobile ad hoc networks, present considerable challenges to the development of protocols and systems. In particular, the challenge of being able to cope with the...
VTC
2007
IEEE
15 years 3 months ago
2007
IEEE
Abstract— A multihop ad hoc wireless network with an interference avoidance model is analyzed for a time division duplex (TDD) air-interface. In accordance with the non-interfere...