288 search results - page 34 / 58 » Query-Based Model Checking of Ad Hoc Network Protocols |
122
Voted
MOBICOM
2004
ACM
15 years 7 months ago
2004
ACM
A newly deployed multi-hop radio network is unstructured and lacks a reliable and efficient communication scheme. In this paper, we take a step towards analyzing the problems exis...
141
click to vote
MOBICOM
2004
ACM
15 years 7 months ago
2004
ACM
Significant progress has been made towards making ad hoc networks secure and DoS resilient. However, little attention has been focused on quantifying DoS resilience: Do ad hoc ne...
147
click to vote
ACISICIS
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents the feasibility of using an ad-hoc network as an infrastructure for a small group of inter-vehicle communication network. Mobile ad-hoc networking with wireles...
115
click to vote
WCNC
2008
IEEE
15 years 8 months ago
2008
IEEE
—In performance studies of vehicular ad hoc networks (VANETs), the underlying mobility model plays an important role. Since conventional mobile ad hoc network (MANET) routing pro...
106
click to vote
CEE
2010
15 years 2 months ago
2010
In Mobile Ad hoc Network (MANET), mobility, traffic and node density are main network conditions that significantly affect the performance of routing protocols. Much of the previou...