—In vehicular ad-hoc networks (VANETs), mobility is one of key characteristics that have a significant effect on routing performance because it causes dynamic changes of network...
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
— Recent advances in wireless technology as well as in electronics industry have given rise to the widespread of wireless ad-hoc networking. Expanding data-centric applications t...
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...
Although landmarks are an integral aspect of navigation, they have rarely been used within electronic navigation aids. This paper describes the design of a pedestrian navigation ai...
Joy Goodman, Philip D. Gray, Kartik Khammampad, St...