Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols.
Mayank SaksenaOskar WiblingBengt JonssonPublished in: TACAS (2008)
Keyphrases
- routing protocol
- graph grammars
- ad hoc networks
- wireless sensor networks
- routing algorithm
- network topology
- energy consumption
- mobile ad hoc networks
- data transmission
- mobile nodes
- multi hop
- information retrieval
- context sensitive
- wireless networks
- sensor networks
- data sets
- end to end delay
- quality of service
- energy efficiency
- distributed systems
- web services
- context free
- wireless mesh networks