Virtual Stationary Automata for Mobile Networks
Author(s)
Dolev, Shlomi; Gilbert, Seth; Lahiani, Limor; Lynch, Nancy; Nolte, Tina
DownloadMIT-CSAIL-TR-2005-004.ps (24378Kb)
Additional downloads
Other Contributors
Theory of Computation
Metadata
Show full item recordAbstract
We define a programming abstraction formobile networks called the Virtual Stationary Automataprogramming layer, consisting of real mobile clients, virtualtimed I/O automata called virtual stationary automata(VSAs), and a communication service connecting VSAs andclient nodes. The VSAs are located at prespecified regionsthat tile the plane, defining a static virtual infrastructure.We present a self-stabilizing algorithm to emulate a VSAusing the real mobile nodes that are currently residingin the VSAÂs region. We also describe several examplesof applications whose implementations benefit from thesimplicity obtained through use of the VSA abstraction.
Date issued
2005-01-21Other identifiers
MIT-CSAIL-TR-2005-004
MIT-LCS-TR-979
Series/Report no.
Massachusetts Institute of Technology Computer Science and Artificial Intelligence Laboratory