Integrating churn into the formal analysis of routing algorithms.
Stefanie RoosGiang T. NguyenThorsten StrufePublished in: NetSys (2015)
Keyphrases
- formal analysis
- routing algorithm
- ad hoc networks
- wireless sensor networks
- shortest path
- routing protocol
- multipath
- qos routing
- path selection
- network routing
- formal methods
- agent model
- ban logic
- energy consumption
- quality of service
- end to end
- multi hop
- network resources
- end to end delay
- packet delivery
- message overhead
- transmission delay
- real time
- qos multicast routing
- interconnection networks
- energy efficiency
- network traffic
- wireless networks
- web services