804 search results - page 49 / 161 » On the Termination of the Chase Algorithm |
121
Voted
ASIACRYPT
2010
Springer
14 years 10 months ago
2010
Springer
We consider the problem of encrypting structured data (e.g., a web graph or a social network) in such a way that it can be efficiently and privately queried. For this purpose, we ...
STOC
2001
ACM
16 years 23 days ago
2001
ACM
Consider a setting in which a group of nodes, situated in a large underlying network, wishes to reserve bandwidth on which to support communication. Virtual private networks (VPNs...
90
Voted
ICC
2007
IEEE
15 years 6 months ago
2007
IEEE
— This paper proposes a medium access control (MAC) algorithm, called Cooperative Diversity MAC (CD-MAC), which exploits the cooperative communication capability to improve robus...
77
Voted
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
We address the problem of controlling information leakage in a concurrent declarative programming setting. Our aim is to define verification tools in order to distinguish betwee...
66
Voted
IPPS
2003
IEEE
15 years 5 months ago
2003
IEEE
We propose a new representation to describe mobile agents computations, where the underlying control structures are diffusing computations. Usually, distributed coms are abstracte...