6202 search results - page 223 / 1241 » Without Loss of Generality |
125
click to vote
SIGMOD
2004
ACM
16 years 6 months ago
2004
ACM
We introduce a hierarchical labeling scheme called ORDPATH that is implemented in the upcoming version of Microsoft? SQL ServerTM. ORDPATH labels nodes of an XML tree without requ...
155
click to vote
TCC
2007
Springer
16 years 22 days ago
2007
Springer
We construct public-key systems that support comparison queries (x ≥ a) on encrypted data as well as more general queries such as subset queries (x ∈ S). These systems support...
169
click to vote
TLCA
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. This paper introduces a cut-elimination procedure of the intuitionistic sequent calculus and shows that it is isomorphic to the proof reduction of the intuitionistic natu...
185
click to vote
FOCS
2006
IEEE
16 years 20 days ago
2006
IEEE
We put forward a first definition of general secure computation that, without any trusted set-up, • handles an arbitrary number of concurrent executions; and • is implementa...
234
click to vote
AADEBUG
2005
Springer
15 years 8 months ago
2005
Springer
We present a way to incorporate backtracking and dynamic patching into existing debuggers, without requiring any change to their source code, the compiler or the run-time environm...