288 search results - page 13 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
ADHOCNOW
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, we outline a simple approach, called ROAR, that enables the Ad-Hoc On-Demand Distance Vector (AODV) routing protocol to strengthen its routes by recruiting neighbors...
ICC
2007
IEEE
14 years 1 months ago
2007
IEEE
Recent studies on directional Media Access Control (MAC) protocols using smart antennas for wireless ad hoc networks have shown that directional MAC protocols outperform traditiona...
EUC
2006
Springer
13 years 11 months ago
2006
Springer
In mobile ad hoc networks, mobile devices wander autonomously for the use of wireless links and dynamically varying network topology. AODV (Ad-hoc on-demand Distance vector routing...
ADHOC
2004
13 years 7 months ago
2004
The 1990s have seen a rapid growth of research interests in mobile ad hoc networking. The infrastructureless and the dynamic nature of these networks demands new set of networking...
PADS
2004
ACM
14 years 1 months ago
2004
ACM
Computer simulation is the most common approach to studying wireless ad-hoc routing algorithms. The results, however, are only as good as the models the simulation uses. One shoul...