On static reachability analysis of IP networks.
Geoffrey G. XieJibin ZhanDavid A. MaltzHui ZhangAlbert G. GreenbergGísli HjálmtýssonJennifer RexfordPublished in: INFOCOM (2005)
Keyphrases
- ip networks
- reachability analysis
- markov decision processes
- model checking
- quality of service
- timed automata
- network management
- communication networks
- tcp ip
- mobile networks
- network security
- ip traffic
- incremental algorithms
- network design
- state space
- internet protocol
- data mining
- real time
- mobile devices
- internet service providers
- temporal reasoning
- wireless networks
- social networks