Advanced Traveler Information Systems (ATIS) require e cient information retrieval and updating in a dynamic environment at di erent geographical scales. ATIS applications are use...
Mobile application development belongs on the complicated, but quite regular software development environment that includes many different solutions possibilities in the developmen...
Distributed intrusion detection systems are especially vulnerable to attacks because the components reside at a static location and are connected together into a hierarchical stru...
— A mobile satellite broadcasting service including an ancillary terrestrial component (ATC) takes advantage of the satellite’s inherent capability to provide broadcast service...
This paper addresses the design and verification of infrastructure for mobile computation. In particular, we study language primitives for communication between mobile agents. The...