5344 search results - page 146 / 1069 » Privacy-Preserving Set Operations |
121
click to vote
INFORMATICALT
2007
15 years 3 months ago
2007
In this paper we consider branching time temporal logics of knowledge and belief. These logics involve the discrete time linear temporal logic operators “next” and “until” ...
116
click to vote
TOG
2002
15 years 2 months ago
2002
Cutting and pasting to combine different elements into a common structure are widely used operations that have been successfully adapted to many media types. Surface design could ...
125
Voted
TCS
2011
14 years 10 months ago
2011
In this paper, we introduce block insertion and deletion on trajectories, which provide us with a new framework to study properties of language operations. With the parallel synta...
119
click to vote
OSDI
1996
ACM
15 years 4 months ago
1996
ACM
Current operating systems offer poor performance when a numeric application's working set does not fit in main memory. As a result, programmers who wish to solve "out-of...
115
click to vote
SOSP
2005
ACM
16 years 4 days ago
2005
ACM
Recovery from intrusions is typically a very time-consuming operation in current systems. At a time when the cost of human resources dominates the cost of computing resources, we ...