288 search results - page 29 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
109
click to vote
SIMUTOOLS
2008
15 years 3 months ago
2008
For the evaluation of ad hoc network protocols, researchers traditionally use simulations because they easily allow for a large number of nodes and reproducible environment condit...
106
click to vote
MSWIM
2005
ACM
15 years 7 months ago
2005
ACM
The performance of mobile ad hoc networks can be influenced by numerous factors, including protocol design at every layer; parameter settings such as retransmission limits and ti...
130
click to vote
MSWIM
2004
ACM
15 years 7 months ago
2004
ACM
In mobile ad hoc networks, node mobility causes links between nodes to break frequently, thus terminating the lifetime of the routes containing those links. An alternative route h...
102
click to vote
ICNP
2005
IEEE
15 years 7 months ago
2005
IEEE
Position-based routing protocols in ad hoc networks combine a forwarding strategy with a recovery algorithm. The former fails when there are void regions or physical obstacles tha...
120
click to vote
INFOCOM
2005
IEEE
15 years 7 months ago
2005
IEEE
— Due to the broadcast nature of radio transmissions, communications in mobile ad hoc networks (MANETs) are more susceptible to malicious traffic analysis. In this paper we prop...