24188 search results - page 4376 / 4838 » Computing on Encrypted Data |
233
click to vote
POPL
1993
ACM
15 years 11 months ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
178
click to vote
ISAAC
1992
Springer
15 years 11 months ago
1992
Springer
A (0,1)-matrix satisfies the consecutive ones property if there exists a column permutation such that the ones in each row of the resulting matrix are consecutive. Booth and Lueke...
146
click to vote
VLDB
1992
ACM
15 years 11 months ago
1992
ACM
We propose a transaction model that provides a framework for transactions to cooperate without sacrificing serializability as a notion of correctness. Cooperation does not depend ...
205
click to vote
ADBIS
2009
Springer
15 years 11 months ago
2009
Springer
Identification of all objects in a dataset whose similarity is not less than a specified threshold is of major importance for management, search, and analysis of data. Set similari...
164
click to vote
ASPDAC
2007
ACM
15 years 11 months ago
2007
ACM
- We present a bus arbitration scheme for soft real-time constrained embedded systems. Some masters in such systems are required to complete their work for given timing constraints...