258 search results - page 48 / 52 » Connections between Relation Algebras and Cylindric Algebras |
VLDB
1987
ACM
15 years 2 months ago
1987
ACM
Beginning to create the New Oxford English Dictionary database has resulted in the realization that databases for reference texts are unlike those for conventional enterprises. Wh...
112
click to vote
CONCUR
2008
Springer
15 years 29 days ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...
CSFW
1995
IEEE
15 years 2 months ago
1995
IEEE
We investigate the formal relationship between separability of processes and the types of non-interference properties they enjoy. Though intuitively appealing, separability – th...
173
click to vote
SIGMOD
2007
ACM
15 years 11 months ago
2007
ACM
An emerging challenge in modern distributed querying is to efficiently process multiple continuous aggregation queries simultaneously. Processing each query independently may be i...
108
click to vote
EUROCRYPT
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Secure computation consists of protocols for secure arithmetic: secret values are added and multiplied securely by networked processors. The striking feature of secure co...