288 search results - page 22 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
105
Voted
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— In mobile ad hoc networks (MANETs), packets hop from a source to a series of forwarding nodes until they reach the desired destination. Defining the hop length to be the dista...
140
click to vote
ACMSE
2004
ACM
15 years 7 months ago
2004
ACM
In this paper, we survey recent advances in mobility modeling for mobile ad hoc network research. The advances include some new mobility models and analysis of older mobility mode...
108
click to vote
WIOPT
2005
IEEE
15 years 7 months ago
2005
IEEE
The log-normal shadowing radio model has frequently been used to model radio propagation conditions. There exist accurate calculation methods for estimation of interference power ...
133
click to vote
ANSS
2005
IEEE
15 years 7 months ago
2005
IEEE
In this paper we propose a novel three phase route recovery mechanism for routing over switched single beam directional antennas. We enhance the popular Dynamic Source Routing (DS...
146
click to vote
CORR
2010
Springer
15 years 6 days ago
2010
Springer
VANETs (Vehicular Ad hoc Networks) are highly mobile wireless ad hoc networks and will play an important role in public safety communications and commercial applications. Routing ...