677 search results - page 61 / 136 » Automatized Verification of Ad Hoc Routing Protocols |
ISCIS
2004
Springer
14 years 2 months ago
2004
Springer
As multimedia- and group-oriented computing becomes increasingly popular for the users of wireless mobile networks, the importance of features like quality of service (QoS) and mul...
SECPERU
2006
IEEE
14 years 2 months ago
2006
IEEE
Ad hoc routing protocols have been designed to efficiently reroute traffic when confronted with network congestion, faulty nodes, and dynamically changing topologies. The common d...
DSRT
2006
IEEE
14 years 2 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...
HASE
2007
IEEE
14 years 22 days ago
2007
IEEE
Recently, many routing protocols and applications for mobile ad hoc networks have been proposed. However, most of them are tested through the simulation experiments, but are not d...
TON
2012
11 years 11 months ago
2012
—This paper presents DAWN, a declarative platform that creates highly adaptive policy-based MANET protocols. DAWN leverages declarative networking techniques to achieve extensibl...