1699 search results - page 143 / 340 » On the Expressive Power of QLTL |
197
click to vote
PKC
2012
Springer
13 years 9 months ago
2012
Springer
Gentry’s bootstrapping technique is currently the only known method of obtaining a “pure” fully homomorphic encryption (FHE) schemes, and it may offers performance advantage...
136
click to vote
WWW
2006
ACM
16 years 7 months ago
2006
ACM
Locating files based on file system structure, file properties, and maybe even file contents is a core task of the user interface of operating systems. By adapting XPath's po...
149
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
One of the key benefits of XML is its ability to represent a mix of structured and unstructured (text) data. Although current XML query languages such as XPath and XQuery can expr...
280
click to vote
POPL
2001
ACM
16 years 6 months ago
2001
ACM
Secure Safe Ambients (SSA) are a typed variant of Safe Ambients [9], whose type system allows behavioral invariants of ambients to be expressed and verified. The most significant a...
261
click to vote
SIGMOD
2005
ACM
16 years 6 months ago
2005
ACM
Model management is an approach to simplify the programming of metadata-intensive applications. It offers developers powerful operators, such as Compose, Diff, and Merge, that are...