A Bluetooth ad hoc network can be formed by interconnecting piconets into scatternets. The
constraints and properties of Bluetooth scatternets present special challenges in forming an …

Rapid advances in wireless technologies provide opportunities to utilize these technologies
in support of advanced vehicle safety applications. In particular, the new Dedicated Short …

This paper presents a formal specification of the Ad hoc On-demand Distance Vector
(AODV) routing protocol using AWN (Algebra for Wireless Networks), a recent process …

In this paper, we examine the communication model widely used in simulation studies of
mobile ad hoc networks (MANETs). We find that the communication model uses an overly …

The dynamic topology of a mobile ad hoc network (MANET) poses a real challenge in the
design of a MANET routing protocol. Over the last 10 years, a variety of routing protocols …

A" mobile ad hoc network"(MANET) is an autonomous system of mobile routers connected
by wireless links. The routers are free to move randomly and organize themselves arbitrarily; …

A mobile ad hoc network (MANET) is a network consisting of a set of wireless mobile nodes
that communicate with each other without centralized control or established infrastructure …

Model-based testing (MBT) is a relatively new approach to software testing that extends test
automation from test execution to test design using automatic test generation from models …

We propose AWN (Algebra for Wireless Networks), a process algebra tailored to the
modelling of Mobile Ad hoc Network (MANET) and Wireless Mesh Network (WMN) …

Nodes in a mobile ad hoc network are often vulnerable to failures. The failures could be
either due to fading effects, battery drainage, or as a result of compromised nodes that do …