Shedding light on the glue logic of the internet routing architecture.
Franck LeGeoffrey G. XieDan PeiJia WangHui ZhangPublished in: SIGCOMM (2008)
Keyphrases
- network infrastructure
- loosely coupled
- management system
- future internet
- ad hoc networks
- client server architecture
- network architecture
- packet switching
- data formats
- network services
- internet users
- logic programming
- routing algorithm
- web technologies
- logic synthesis
- internet traffic
- classical logic
- real time
- network topology
- communication networks
- modal logic
- wireless networks
- knowledge base