A Theorem Proving Approach Towards Declarative Networking Anduo Wang1 Boon Thau Loo1 Changbin Liu1 Oleg Sokolsky1 Prithwish Basu2 1

Source URL: www.cis.upenn.edu

A Demonstration of the RapidMesh Development Toolkit Xiaozhou Li∗ Shivkumar C. Muthukumar∗ Changbin Liu∗ Joseph B. Kopena† Mihai Oprea∗ Ricardo Correa∗ Boon Thau Loo∗ Prithwish Basu‡ ∗ University of Pen

Source URL: www.cis.upenn.edu

Cologne: A Declarative Distributed Constraint Optimization Platform Changbin Liu∗ ∗ University Lu Ren∗

Source URL: vldb.org

• Constraint programming
• Operations research
• Mathematical optimization
• Numerical software
• Mathematical modeling
• Datalog
• Prolog
• Constraint optimization
• Solver
• Software engineering
• Computer programming
• Computing

Declarative Policy-based Adaptive MANET Routing Changbin Liu∗ Ricardo Correa∗ Xiaozhou Li∗ Prithwish Basu† Boon Thau Loo∗ Yun Mao‡ ∗ University of Pennsylvania † BBN Technologies ‡ AT&T Labs - Research

Source URL: www.cis.upenn.edu

• OSI protocols
• Optimized Link State Routing Protocol
• Link-state routing protocol
• Mobile ad hoc network
• Dynamic Source Routing
• Routing
• Zone Routing Protocol
• Gossip protocol
• Delay-tolerant networking
• Wireless networking
• Technology
• Network architecture

Recent Advances in Declarative Networking Boon Thau Loo1 Harjot Gill1 William R. Marczak3 Micah Sherr4 Changbin Liu1 Anduo Wang1

Source URL: netdb.cis.upenn.edu

• Data
• Information
• Datalog
• Distributed hash table
• Routing
• Communications protocol
• Peer-to-peer
• Chord
• SQL
• Computing
• Distributed data storage
• Query languages

1 Declarative Policy-based Adaptive Mobile Ad Hoc Networking Changbin Liu∗ Ricardo Correa∗ Xiaozhou Li∗ Prithwish Basu† Boon Thau Loo∗ Yun Mao‡ ∗ University of Pennsylvania

Source URL: netdb.cis.upenn.edu

• Technology
• OSI protocols
• Routing protocols
• Computer networking
• Routing
• Optimized Link State Routing Protocol
• Link-state routing protocol
• Dynamic Source Routing
• Distance-vector routing protocol
• Wireless networking
• Routing algorithms
• Computing

表18　縣(市)管河川 Table 18.Rivers Administered by Central Government 民 國 94 年 底

Source URL: www.wra.gov.tw

• Administrative divisions of the Republic of China
• Township
• County
• Pingtung City
• Taiwan Province
• Changbin
• Taitung
• Taoyuan County
• Taiwan
• Taichung
• Yilan County
• Taiwan
• Counties of Taiwan
• Geography of Taiwan
• Taiwan