Timed virtual stationary automata for mobile networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3974 LNCS, Issue , 2006, Pages 130-145

  Dolev, Shlomi ^a   Gilbert, Seth ^b   Lahiani, Limor ^a   Lynch, Nancy ^b   Nolte, Tina ^b  

^a BEN GURION UNIVERSITY OF THE NEGEV   (Israel)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Ad hoc networks; Fault tolerance availability; Location aware distributed computing; Mobile computing; State replication; Virtual infrastructure; Virtual machine

Indexed keywords

COMMUNICATION SERVICE; I/O AUTOMATA; LOCATION-AWARE; MOBILE CLIENT; MOBILE NODES; PROGRAMMING ABSTRACTIONS; SELF-STABILIZING ALGORITHM; STATE REPLICATIONS; VIRTUAL INFRASTRUCTURES; VIRTUAL MACHINES;

COMPUTER PROGRAMMING; MOBILE COMPUTING;

AUTOMATA THEORY;

EID: 38349082166     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11795490_12     Document Type: Conference Paper

References (26)

1. Camp, T. and Liu, Y., "An adaptive mesh-based protocol for geocast routing", Journal of Parallel and Distributed Computing: Special Issue on Mobile Ad-hoc Networking and Computing, pp. 196-213, 2002.
2. Chockler, G., Demirbas, M., Gilbert, S., Newport, C., and Nolte, T., "Consensus and Collision Detectors in Wireless Ad Hoc Networks", Proceedings of the 24th Annual ACM Symposium on Principles of Distributed Computing (PODC), 2005.
3. Dijkstra, E.W., "Self stabilizing systems in spite of distributed control", Communications of the ACM, 1914.
4. Dolev, S., Self-Stabilization, MIT Press, 2000.
5. Dolev, S., Gilbert, S., Lynch, N., Schiller, E., Shvartsman, A., and Welch, J., "Virtual Mobile Nodes for Mobile Ad Hoc Networks", International Conference on Principles of Distributed Computing (DISC), 2004.
6. Dolev, S., Gilbert, S., Lynch, N., Shvartsman, A., and Welch, J., "GeoQuorums: Implementing Atomic Memory in Ad Hoc Networks", 17th International Conference on Principles of Distributed Computing (DISC), Springer-Verlag LNCS:2848, 2003.
7. Dolev, S., Gilbert, S., Lynch, N., Shvartsman, A., and Welch, J., "GeoQuorums: Implementing Atomic Memory in Ad Hoc Networks", Technical Report MIT-LCS-TR-900, MIT Laboratory for Computer Science, Cambridge, MA, 02139, 2003.
8. Dolev, S., Herman, T., and Lahiani, L., "Polygonal Broadcast, Secret Maturity and the Firing Sensors", Third International Conference on Fun with Algorithms (FUN), pp. 41-52, May 2004. Also to appear in Ad Hoc Networks Journal, Elseiver.
9. Dolev, S., Lahiani, L., Lynch, N., and Nolte, T., "Self-Stabilizing Mobile Node Location Management and Message Routing", Symposium on Self Stabilizing Systems (SSS), 2005.
10. Hubaux, J.P., Le Boudec, J.Y., Giordano, S., and Hamdi, M., "The Terminodes Project: Towards Mobile Ad-hoc WAN", Proceedings of MOMUC, 1999.
11. Kan, M., Pande, R., Vinograd, P., and Garcia-Molina, H., "Event Dissemination in HighMobility Ad-hoc Networks", Technical Report, 2005.
12. Kaynar, D., Lynch, N., Segala, R., and Vaandrager, F., "The Theory of Timed I/O Automata", Technical Report MIT-LCS-TR-917a, MIT LCS, Cambridge, MA, 2004.
13. Kuhn, F., Wattenhofer, R., Zhang, Y., and Zollinger, A., "Geometric Ad-hoc Routing: Of Theory and Practice", Proceedings of the 22nd Annual ACM Symposium on Principles of Distributed Computing (PODC), 2003.
14. Li, J., Jannotti, J., De Couto, D.S.J., Karger, D.R., and Morris, R., "A Scalable Location Service for Geographic Ad Hoc Routing", Proceedings of Mobicom, 2000.
15. Lok, C., "Instant Networks: Just Add Software", Technology Review, June, 2005.
16. Lynch, N., Mitra, S., and Nolte, T., "Motion coordination using virtual nodes", To appear: IEEE Conference on Decision and Control, 2005.
17. Morris, R., Jannotti, J., Kaashoek, F., Li, J., and Decouto, D., "CarNet: A Scalable Ad Hoc Wireless Network System", 9th ACM SIGOPS European Workshop, Kolding, Denmark, September 2000.
18. Nath, B. and Niculescu, D., "Routing on a curve", ACM SIGCOMM Computer Communication Review, 2003.
19. Navas, J.C. and Imielinski, T., "Geocast- geographic addressing and routing", Proceedings of the 3rd MobiCom, 1997.
20. Neogi, N., "Designing Trustworthy Networked Systems: A Case Study of the National Airspace System", International System Safety Conference, Ottawa, Canada, 2003.
21. Ratnasamy, S., Karp, B., Yin, L., Yu, F., Estrin, D., Govindan, R., and Shenker, S., "GHT: A Geographic Hash Table for Data-Centric Storage", First ACM International Workshop on Wireless Sensor Networks and Applications (WSNA), 2002.
22. Sun, Q., and Garcia-Molina, H., "Using Ad-hoc Inter-vehicle Networks for Regional Alerts", Technical Report, 2004.
23. Talbot, D., "Airborne Networks", Technology Review, May, 2005.
24. Talbot, D., "The Ascent of the Robotic Attack Jet", Technology Review, March, 2005.
25. Vasek, T., "World Changing Ideas: Germany", Technology Review, April, 2005.
26. Woolley, S., "Backwater Broadband", Forbes, 2005.