Timed Virtual Stationary Automata for Mobile Networks.
Shlomi DolevSeth GilbertLimor LahianiNancy A. LynchTina NoltePublished in: OPODIS (2005)
Keyphrases
- mobile networks
- timed automata
- mobile devices
- mobile users
- finite state machines
- wireless networks
- base station
- ad hoc networks
- petri net
- mobile ad hoc networks
- route optimization
- cellular networks
- mobile nodes
- cellular automata
- multimedia content
- location management
- routing problem
- model checking
- context aware
- real time
- communication networks
- mobile ip
- metadata
- social networks
- databases