5484 search results - page 1068 / 1097 » Almost-Everywhere Secure Computation |
183
click to vote
POPL
2006
ACM
16 years 3 days ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
OSDI
2006
ACM
16 years 3 days ago
2006
ACM
Mismanagement of the persistent state of a system--all the executable files, configuration settings and other data that govern how a system functions--causes reliability problems,...
179
click to vote
VLDB
2006
ACM
16 years 1 days ago
2006
ACM
Abstract We explore the problem of portable and flexible privacy preserving access rights that permit access to a large collection of digital goods. Privacy-preserving access contr...
171
click to vote
SIGMOD
2009
ACM
16 years 1 days ago
2009
ACM
Cell phones are increasingly being used as common clients for a wide suite of distributed, database-centric healthcare applications in developing regions. This is particularly tru...
110
click to vote
ICIAP
2005
ACM
15 years 12 months ago
2005
ACM
Facial image analysis is very useful in many applications such as video compression, talking heads, or biometrics. During the last few years, many algorithms have been proposed in ...