1064 search results - page 169 / 213 » Disjoint Systems (Extended Abstract) |
113
Voted
ICDT
2007
ACM
15 years 9 months ago
2007
ACM
Abstract. We define and study formal privacy guarantees for information integration systems, where sources are related to a public schema by mappings given by source-to-target dep...
105
Voted
TCC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. This paper presents a very simple and efficient adaptivelysound perfect NIZK argument system for any NP-language. In contrast to recently proposed schemes by Groth, Ostro...
129
Voted
TLCA
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The intuitionistic fragment of the call-by-name version of Curien and Herbelin’s λµ˜µ-calculus is isolated and proved strongly normalising by means of an embedding ...
107
click to vote
WDAG
2007
Springer
15 years 9 months ago
2007
Springer
The deferred update technique is a widely used approach for building replicated database systems. Its fame stems from the fact that read-only transactions can execute locally to a...
134
Voted
CIBCB
2006
IEEE
15 years 9 months ago
2006
IEEE
Abstract— Quantum mechanics and molecular dynamic simulation provide important insights into structural configurations and molecular interaction data today. To extend this atomi...