Declarative - PDFSEARCH.IO - Document Search Engine

Declarative
Results: 769

#	Item
641	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 Add to Reading List Source URL: netdb.cis.upenn.edu Language: English - Date: 2011-08-18 22:14:41 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
642	Declarative Languages in Routing Fred Baker Presentation_ID Add to Reading List Source URL: netdb09.cis.upenn.edu Language: English - Date: 2009-11-14 20:49:36 Internet standards Routing protocols Internet protocols Open Shortest Path First Border Gateway Protocol Routing Differentiated services Router Cisco Systems Internet Network architecture Computing
643	On the Declarativity of Declarative Networking Yun Mao AT&T Labs - Research 180 Park Ave, Florham Park, NJ, USA [removed] Add to Reading List Source URL: netdb09.cis.upenn.edu Language: English - Date: 2009-08-12 10:02:51 Programming paradigms Query languages Datalog Logic programming Deductive database SQL Declarative programming First-order logic Oz Computing Software engineering Computer programming
644	RapidMesh: Declarative Toolkit for Rapid Experimentation of Wireless Mesh Networks Shivkumar C. Muthukumar University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2009-08-22 08:38:45 Network architecture Telecommunications engineering Routing protocols Routing Optimized Link State Routing Protocol Link-state routing protocol Dynamic Source Routing Wireless mesh network Ad hoc On-Demand Distance Vector Routing Wireless networking Routing algorithms Technology
645	A Decade of Progress in Constraint Modelling and Reformulation The Quest for Abstraction and Automation Alan M Frisch Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2012-01-06 11:40:44 Computing Operations research Programming paradigms Mathematical optimization Mathematical modeling Declarative programming AMPL Constraint satisfaction Constrained conditional model Constraint programming Software engineering Computer programming
646	NetTrails: A Declarative Platform for Maintaining and Querying Provenance in Distributed Systems Wenchao Zhou∗ Qiong Fei∗ Shengzhi Sun∗ Tao Tao∗ Andreas Haeberlen∗ Zachary Ives∗ Boon Thau Loo∗ Micah Sherr Add to Reading List Source URL: netdb.cis.upenn.edu Language: English - Date: 2011-06-14 18:20:20 Distributed data storage File sharing networks Distributed hash table File sharing Provenance Routing Distributed computing Border Gateway Protocol Peer-to-peer Computing Internet Network architecture
647	Masterclass Modelling with Constraints Part 1: Introduction Alan M Frisch Artificial Intelligence Group Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2012-01-06 10:09:14 Software engineering Constraint satisfaction Mathematical optimization Boolean satisfiability problem Solver Answer set programming Constraint Constraint logic programming AC-3 algorithm Constraint programming Declarative programming Theoretical computer science
648	5th International Workshop on Networking Meets Databases (NetDB[removed]Boon Thau Loo Add to Reading List Source URL: netdb.cis.upenn.edu Language: English - Date: 2010-01-12 20:14:04 Parallel computing Programming paradigms Joseph M. Hellerstein Declarative programming MapReduce SQL ACT-R Operating system Symposium on Operating Systems Principles Computing Software engineering Computer programming
649	Unified Declarative Platform for Secure Networked Information Systems Wenchao Zhou∗ ∗ Yun Mao∗ Add to Reading List Source URL: netdb.cis.upenn.edu Language: English - Date: 2008-11-20 20:11:50 Mathematics Data Chord File sharing networks Datalog Distributed hash table Tuple PlanetLab Peer-to-peer Distributed data storage Data management Computing

UPDATE