We define a programming abstraction for mobile networks called the Timed Virtual Stationary Automata programming layer, consisting of mobile clients, virtual timed I/O automata called virtual stationary automata (VSAs), and a communication service connecting VSAs and client nodes. The VSAs are located at prespecified regions that tile the plane, defining a static virtual infrastructure. We present a self-stabilizing algorithm to emulate a timed VSA using the real mobile nodes that are currently residing in the VS A's region. We also discuss examples of applications whose implementations benefit from the simplicity obtained through use of the VSA abstraction. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Dolev, S., Gilbert, S., Lahiani, L., Lynch, N., & Nolte, T. (2006). Timed virtual stationary automata for mobile networks. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3974 LNCS, pp. 130–145). https://doi.org/10.1007/11795490_12
Mendeley helps you to discover research relevant for your work.