1064 search results - page 169 / 213 » Disjoint Systems (Extended Abstract) |
147
click to vote
ICDT
2007
ACM
16 years 4 days 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...
129
click to vote
TCC
2007
Springer
16 years 3 days 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...
155
click to vote
TLCA
2007
Springer
16 years 3 days 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 ...
138
click to vote
WDAG
2007
Springer
16 years 3 days 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...
168
click to vote
CIBCB
2006
IEEE
16 years 2 days 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...