Sciweavers

31 search results - page 2 / 7
» Relational transducers for declarative networking
Sort
View
CAV
2009
Springer
133views Hardware» more  CAV 2009»
14 years 9 months ago
Cardinality Abstraction for Declarative Networking Applications
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
Andrey Rybalchenko, Atul Singh, Juan Antonio Navar...
SSDBM
2009
IEEE
126views Database» more  SSDBM 2009»
14 years 3 months ago
Comprehensive Optimization of Declarative Sensor Network Queries
We present a novel sensor network query processing architecture that (a) covers all the query optimization phases that are required to map a declarative query to executable code; ...
Ixent Galpin, Christian Y. A. Brenninkmeijer, Farh...
POLICY
2005
Springer
14 years 2 months ago
Driving and Monitoring Provisional Trust Negotiation with Metapolicies
We introduce the provisional trust negotiation framework PROTUNE, for combining distributed trust management policies with provisional-style business rules and accesscontrol relat...
Piero A. Bonatti, Daniel Olmedilla
CORR
2010
Springer
136views Education» more  CORR 2010»
13 years 8 months ago
Applying Prolog to Develop Distributed Systems
Development of distributed systems is a difficult task. Declarative programming techniques hold a promising potential for effectively supporting programmer in this challenge. Whil...
Nuno P. Lopes, Juan A. Navarro, Andrey Rybalchenko...
ICDCSW
2005
IEEE
14 years 2 months ago
Using Fine-Grained Infrared Positioning to Support the Surface-Based Activities of Mobile Users
Knowledge of the fine-grained location and orientation of devices on a surface can be used to enhance the surface-based computing tasks of mobile users in the home and workplace....
Albert Krohn, Michael Beigl, Mike Hazas, Hans-Wern...