A framework for testing safety and effective computability
Journal of Computer and System Sciences
The design and implementation of an intentional naming system
Proceedings of the seventeenth ACM symposium on Operating systems principles
ACM Transactions on Computer Systems (TOCS)
Chord: A scalable peer-to-peer lookup service for internet applications
Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications
Internet indirection infrastructure
Proceedings of the 2002 conference on Applications, technologies, architectures, and protocols for computer communications
The design of an acquisitional query processor for sensor networks
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Declarative routing: extensible routing with declarative queries
Proceedings of the 2005 conference on Applications, technologies, architectures, and protocols for computer communications
Implementing declarative overlays
Proceedings of the twentieth ACM symposium on Operating systems principles
Host Mobility Using an Internet Indirection Infrastructure
Proceedings of the 1st international conference on Mobile systems, applications and services
Querying the internet with PIER
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Towards a declarative language and system for secure networking
NETB'07 Proceedings of the 3rd USENIX international workshop on Networking meets databases
A survey of active network research
IEEE Communications Magazine
Enabling location specific real-time mobile applications
Proceedings of the 3rd international workshop on Mobility in the evolving internet architecture
Managing the health of security experiments
CSET'08 Proceedings of the conference on Cyber security experimentation and test
| Hi-index | 0.00 |
We present a unified, extensible data-centric mobility infrastructure based on declarative networks and composable distributed views over network, router, and host state. Declarative networks are a recent innovation for building extensible network architectures using declarative languages. The data-centric approach both improves flexibility over existing solutions, and is extensible to meet the demands of future mobile applications and services. We demonstrate the flexibility of distributed queries used in declarative networks by specifying and implementing mobile services, e.g., overlay-based solutions for host mobility, customizable routing, service discovery and composition, and location-based services. A prototype based on the P2 declarative networking system has been implemented, with which we evaluated two overlay-based mobility schemes (ROAM and DHARMA).