5344 search results - page 647 / 1069 » Privacy-Preserving Set Operations |
212
click to vote
EUROCRYPT
2004
Springer
16 years 6 days ago
2004
Springer
Abstract. This work presents a new privacy primitive called “Traceable Signatures”, together with an efficient provably secure implementation. To this end, we develop the unde...
192
click to vote
PLDI
2003
ACM
16 years 1 days ago
2003
ACM
This paper reports on a new approach to solving a subset-based points-to analysis for Java using Binary Decision Diagrams (BDDs). In the model checking community, BDDs have been s...
211
click to vote
CLOUD
2010
ACM
15 years 12 months ago
2010
ACM
This work addresses the need for stateful dataflow programs that can rapidly sift through huge, evolving data sets. These data-intensive applications perform complex multi-step c...
184
click to vote
SIGGRAPH
2010
ACM
15 years 11 months ago
2010
ACM
In this paper, we address the problem of inverse procedural modeling: Given a piece of exemplar 3D geometry, we would like to find a set of rules that describe objects that are s...
175
click to vote
WIA
2001
Springer
15 years 11 months ago
2001
Springer
A formal device is said to be adaptive whenever its behavior changes dynamically, in a direct response to its input stimuli, without interference of external agents, even its user...