288 search results - page 33 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
114
Voted
DSRT
2003
IEEE
15 years 7 months ago
2003
IEEE
We present a new conservative event-synchronization protocol, time-based synchronization, for parallel discreteevent simulation of mobile ad hoc wireless networks. Simulators that...
134
click to vote
MSWIM
2005
ACM
15 years 7 months ago
2005
ACM
We consider the problem of energy aware localized routing in ad hoc networks. In localized routing algorithms, each node forwards a message based on the position information about...
107
Voted
ISCC
2005
IEEE
15 years 7 months ago
2005
IEEE
— The main characterisrics of ad hoc networks are the lack of predefined infrastructure and the dynamic topology. These characteristics present some new security vulnerabilities...
153
click to vote
PE
2006
Springer
15 years 1 months ago
2006
Springer
Existing wireless networks usually provide multiple data transmission rates. This paper presents a simulation study on the performance of multiple-rate mobile ad hoc networks (MAN...
128
click to vote
TON
2008
15 years 1 months ago
2008
Abstract--Existing anycast routing protocols solely route packets to the closest group member. In this paper, we introduce density-based anycast routing, a new anycast routing para...