Naive Evaluation of Recursively Defined Relations, pp.165-178, 1986. ,
DOI : 10.1007/978-1-4612-4980-1_17
Magic sets and other strange ways to implement logic programs (extended abstract), Proceedings of the fifth ACM SIGACT-SIGMOD symposium on Principles of database systems , PODS '86, pp.1-15, 1986. ,
DOI : 10.1145/6012.15399
Recursive axioms in deductive databases: The query/subquery approach, Expert Database Conf, pp.253-267, 1986. ,
A survey of deductive database systems, The Journal of Logic Programming, vol.23, issue.2, pp.125-149, 1993. ,
DOI : 10.1016/0743-1066(94)00039-9
Declarative routing: extensible routing with declarative queries, Proc. ACM SIGCOMM '05, 2005. ,
Declarative networking, Proceedings of the 2006 ACM SIGMOD international conference on Management of data , SIGMOD '06, 2006. ,
DOI : 10.1145/1142473.1142485
Netlog, a Rule-Based Language for Distributed Programming, PADL'10, Twelfth International Symposium on Practical Aspects of Declarative Languages, 2010. ,
DOI : 10.1007/978-3-642-11503-5_9
Highly dynamic destination-sequenced distance-vector routing (dsdv) for mobile computers, ACM SIG- COMM'94 Conference on Communications Architectures, Protocols and Applications, pp.234-244, 1994. ,
Optimized link state routing protocol for ad hoc networks, Proceedings. IEEE International Multi Topic Conference, 2001. IEEE INMIC 2001. Technology for the 21st Century., pp.62-68, 2001. ,
DOI : 10.1109/INMIC.2001.995315
URL : https://hal.archives-ouvertes.fr/inria-00471622
Ad-hoc on-demand distance vector routing, Proceedings WMCSA'99. Second IEEE Workshop on Mobile Computing Systems and Applications, pp.90-100, 1999. ,
DOI : 10.1109/MCSA.1999.749281
Virtual ring routing, ACM SIGCOMM Computer Communication Review, vol.36, issue.4, pp.351-362, 2006. ,
DOI : 10.1145/1151659.1159954
ASCENT, ACM SIGCOMM Computer Communication Review, vol.32, issue.1, pp.62-62, 2002. ,
DOI : 10.1145/510726.510736
FISCO: A Fully Integrated Scheme of Self-Configuration and Self-Organization for WSN, 2007 IEEE Wireless Communications and Networking Conference, p.12007 ,
DOI : 10.1109/WCNC.2007.620
A Framework for Verifying Data-Centric Protocols, FORTE 2011: The 31th IFIP International Conference on FORmal TEchniques for Networked and Distributed Systems, 2011. ,
DOI : 10.1007/3-540-48213-X_26
URL : https://hal.archives-ouvertes.fr/hal-00647802