Declarative Policy-Based Adaptive Mobile Ad Hoc Networking
暂无分享,去创建一个
Xiaozhou Li | Prithwish Basu | Boon Thau Loo | Yun Mao | Changbin Liu | Ricardo Correa | B. T. Loo | Xiaozhou Li | P. Basu | Yun Mao | Changbin Liu | Ricardo Correa
[1] Prithwish Basu,et al. Formally Verifiable Networking , 2009, HotNets.
[2] Ram Ramanathan,et al. Tracking Highly Mobile Endpoints , 2001, WOWMOM '01.
[3] Ion Stoica,et al. Implementing declarative overlays , 2005, SOSP '05.
[4] Jeffrey D. Ullman,et al. A survey of deductive database systems , 1995, J. Log. Program..
[5] Jonathan M. Smith,et al. MOSAIC: unified declarative platform for dynamic overlay composition , 2008, CoNEXT '08.
[6] Zygmunt J. Haas,et al. A new routing protocol for the reconfigurable wireless networks , 1997, Proceedings of ICUPC 97 - 6th International Conference on Universal Personal Communications.
[7] Boon Thau Loo,et al. An Open-Source and Declarative Approach Towards Teaching Large-Scale Networked Systems Programming , 2011 .
[8] Insup Lee,et al. DMaC: Distributed Monitoring and Checking , 2009, RV.
[9] Ion Stoica,et al. Declarative routing: extensible routing with declarative queries , 2005, SIGCOMM '05.
[10] Eddie Kohler,et al. The Click modular router , 1999, SOSP.
[11] Xiaozhou Li,et al. Declarative policy-based adaptive MANET routing , 2009, 2009 17th IEEE International Conference on Network Protocols.
[12] Xiaozhou Li,et al. A policy-based constraint-solving platform towards extensible wireless channel selection and routing , 2010, PRESTO '10.
[13] Boon Thau Loo,et al. Declarative Toolkit for Rapid Network Protocol Simulation and Experimentation , 2009 .
[14] David A. Maltz,et al. Dynamic Source Routing in Ad Hoc Wireless Networks , 1994, Mobidata.
[15] Jörg Ott,et al. Integrating DTN and MANET routing , 2006, CHANTS '06.
[16] Philip Levis,et al. The design and implementation of a declarative sensor network system , 2007, SenSys '07.
[17] Jeffrey D. Ullman,et al. A Survey of Research in Deductive Database Systems , 1995 .
[18] Mario Joa-Ng,et al. A peer-to-peer zone-based two-level link state routing for mobile ad hoc networks , 1999, IEEE J. Sel. Areas Commun..
[19] Philippe Jacquet,et al. Optimized Link State Routing Protocol (OLSR) , 2003, RFC.
[20] Ram Ramanathan,et al. The SPINDLE Disruption-Tolerant Networking System , 2007, MILCOM 2007 - IEEE Military Communications Conference.
[21] Jon Crowcroft,et al. Inter-domain routing for mobile ad hoc networks , 2008, MobiArch '08.
[22] Charles E. Perkins,et al. Ad-hoc on-demand distance vector routing , 1999, Proceedings WMCSA'99. Second IEEE Workshop on Mobile Computing Systems and Applications.
[23] Prithwish Basu,et al. A declarative perspective on adaptive manet routing , 2008, PRESTO '08.
[24] Richard E. Hansen,et al. Prioritized epidemic routing for opportunistic networks , 2007, MobiOpp '07.
[25] Joseph M. Hellerstein,et al. Boom analytics: exploring data-centric, declarative programming for the cloud , 2010, EuroSys '10.
[26] Emin Gün Sirer,et al. SHARP: a hybrid adaptive routing protocol for mobile ad hoc networks , 2003, MobiHoc '03.
[27] Anders Lindgren,et al. Probabilistic routing in intermittently connected networks , 2003, MOCO.
[28] Jonathan M. Smith,et al. MOSAIC: Unified Platform for Dynamic Overlay Selection and Composition , 2008 .
[29] Xiaozhou Li,et al. RapidMesh: declarative toolkit for rapid experimentation of wireless mesh networks , 2009, WINTECH '09.
[30] Atul Singh,et al. BFT Protocols Under Fire , 2008, NSDI.
[31] Amin Vahdat,et al. Epidemic Routing for Partially-Connected Ad Hoc Networks , 2009 .
[32] Ram Ramanathan,et al. Making link-state routing scale for ad hoc networks , 2001, MobiHoc '01.
[33] Xiaozhou Li,et al. Efficient querying and maintenance of network provenance at internet-scale , 2010, SIGMOD Conference.
[34] Communism,et al. University of Pennsylvania , 1847, Medical History.
[35] Limin Jia,et al. Maintaining distributed logic programs incrementally , 2011, Comput. Lang. Syst. Struct..
[36] Dominic M. Dousa. THE UNIVERSITY OF TEXAS AT EL PASO , 2004 .
[37] Prithwish Basu,et al. Declarative Network Verification , 2009, PADL.
[38] Yuming Jiang,et al. A Threshold-based Hybrid Routing Protocol for MANET , 2007, 2007 4th International Symposium on Wireless Communication Systems.