677 search results - page 89 / 136 » Automatized Verification of Ad Hoc Routing Protocols |
WCNC
2008
IEEE
14 years 2 months ago
2008
IEEE
—In this paper, we present a reliable real-time data delivery (communication) mechanism for ad-hoc networks, called RTRD. The mechanism makes use of a proactive wireless routing ...
NCA
2005
IEEE
14 years 1 months ago
2005
IEEE
Context-aware applications rely on the ability to perceive the state of the surrounding environment. In this paper, we address a class of such applications where real-time guarant...
IWCMC
2009
ACM
14 years 2 months ago
2009
ACM
This paper proposes a dynamic trust establishment protocol that enables the nodes of an ad hoc network to establish security associations among each other in a distributed and pee...
ICDCS
2005
IEEE
14 years 1 months ago
2005
IEEE
Power heterogeneous ad hoc networks are characterized by link layer asymmetry: the ability of lower power nodes to receive transmissions from higher power nodes but not vice versa...
PEWASUN
2004
ACM
14 years 1 months ago
2004
ACM
This paper studies the performance of a multi-rate mobile ad hoc network (MANET) using an extended ns-2 simulator. A link adaptation algorithm is developed and tested. The multi-r...