On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks.
Giorgio DelzannoArnaud SangnierGianluigi ZavattaroPublished in: FoSSaCS (2011)
Keyphrases
- ad hoc networks
- network topology
- end to end
- wireless networks
- routing algorithm
- wireless ad hoc networks
- routing protocol
- quality of service
- peer to peer
- base station
- key management
- transmission range
- multi hop
- limited bandwidth
- mac protocol
- mobile wireless
- end to end delay
- wireless mesh networks
- mobile ad hoc networks
- qos routing
- network nodes
- power consumption
- topology control
- neighboring nodes
- network infrastructure
- wireless sensor networks
- propagation model
- multiple paths
- mobile networks
- service differentiation
- aodv routing protocol