14704 search results - page 2853 / 2941 » computing 2007 |
130
click to vote
CADE
2007
Springer
16 years 3 months ago
2007
Springer
Boolean Algebra with Presburger Arithmetic (BAPA) is a decidable logic that combines 1) Boolean algebra of sets of uninterpreted elements (BA) and 2) Presburger arithmetic (PA). BA...
124
click to vote
STOC
2007
ACM
16 years 3 months ago
2007
ACM
We introduce a new, generic framework for private data analysis. The goal of private data analysis is to release aggregate information about a data set while protecting the privac...
236
Voted
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
Views over probabilistic data contain correlations between tuples, and the current approach is to capture these correlations using explicit lineage. In this paper we propose an al...
217
Voted
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
As more sensitive data is captured in electronic form, security becomes more and more important. Data encryption is the main technique for achieving security. While in the past en...
199
click to vote
SIGMOD
2007
ACM
16 years 3 months ago
2007
ACM
This paper investigates a class of transform queries proposed by XQuery Update [6]. A transform query is defined in terms of XML update syntax. When posed on an XML tree T, it ret...