Sciweavers

Share
17 search results - page 1 / 4
» Cardinality Abstraction for Declarative Networking Applicati...
Sort
View
CAV
2009
Springer
133views Hardware» more  CAV 2009»
11 years 1 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...
LPAR
2010
Springer
9 years 11 months ago
Pairwise Cardinality Networks
Abstract. We introduce pairwise cardinality networks, networks of comparators, derived from pairwise sorting networks, which express cardinality constraints. We show that pairwise ...
Michael Codish, Moshe Zazon-Ivry
AOSD
2007
ACM
10 years 5 months ago
Declarative failure recovery for sensor networks
Wireless sensor networks consist of a system of distributed sensors embedded in the physical world, and promise to allow observation of previously unobservable phenomena. Since th...
Ramakrishna Gummadi, Nupur Kothari, Todd D. Millst...
DPD
2010
153views more  DPD 2010»
9 years 10 months ago
Cardinality estimation and dynamic length adaptation for Bloom filters
Abstract Bloom filters are extensively used in distributed applications, especially in distributed databases and distributed information systems, to reduce network requirements and...
Odysseas Papapetrou, Wolf Siberski, Wolfgang Nejdl
ICISS
2010
Springer
9 years 11 months ago
A Practical Generic Privacy Language
Abstract. We present a declarative language with a formal semantics for specifying both users' privacy preferences and services' privacy policies. Expressiveness and appl...
Moritz Y. Becker, Alexander Malkis, Laurent Bussar...
books