288 search results - page 8 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
DSRT
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we report on a series of experiments involving the speedups obtainable with time-parallel simulation of wireless ad hoc networks. A mobile ad hoc network scenario i...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Two-ray ground reflection model has been widely used as the propagation model to investigate the performance of an ad hoc network. But two-ray model is too simple to represent a r...
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— Vehicular Ad Hoc Wireless Network (VANET) exhibits a bipolar behavior in terms of network topology: fully connected topology with high traffic volume or sparsely conne...
PDP
2006
IEEE
14 years 1 months ago
2006
IEEE
Mobile ad hoc networks (MANETs) raise new challenges in designing protocols for solving the consensus problem. Among the others, how to design message efficient protocols so as to...
ESAS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper, we propose a framework for the security analysis of on-demand, distance vector routing protocols for ad hoc networks, such as AODV, SAODV, and ARAN. The pr...