12 search results - page 2 / 3 » Formal verification of standards for distance vector routing... |
ICC
2009
IEEE
13 years 12 months ago
2009
IEEE
—In this paper, we explore the feasibility of using Mobile Ad-hoc Networks (MANETs) for rural public safety. First, we discuss a QoS enhancement to a standard routing protocol, D...
SASN
2003
ACM
13 years 10 months ago
2003
ACM
The purpose of this work is to automate the analysis of ad hoc routing protocols in the presence of attackers. To this end, a formal model of protocol behavior is developed in whi...
MOBIQUITOUS
2007
IEEE
13 years 11 months ago
2007
IEEE
– Hybrid Wireless Mesh Networks are wireless multi-hop networks consisting of two types of nodes, Mesh Routers and Mesh Clients. Mesh Routers are more static and less resource co...
GLOBECOM
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— Nodes in multi-hop wireless networks, and specifically in ad-hoc and mesh networks, are being increasingly equipped with multiple wireless network interfaces (radios) o...
VTC
2006
IEEE
13 years 11 months ago
2006
IEEE
— Group Communication services have become more and more important in mobile ad hoc networks (MANETs). The use of multicast transmission techniques in MANETs has been shown to ha...