Sciweavers

31 search results - page 2 / 7
» Relational transducers for declarative networking
Sort
View
CAV
2009
Springer
133views Hardware» more  CAV 2009»
14 years 5 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 2 days 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
13 years 10 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 5 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
13 years 11 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...