1206 search results - page 33 / 242 » Concurrent Abstract Predicates |
121
Voted
FASE
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
106
click to vote
TMRA
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. This paper describes a query algebra for tolog, a query language for Topic Maps inspired by Prolog and very similar to Datalog. The language is based on binding variables...
106
Voted
CANS
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Predicate encryption is a new powerful cryptographic primitive which allows for fine-grained access control for encrypted data: the owner of the secret key can release pa...
111
Voted
LOPSTR
2005
Springer
15 years 6 months ago
2005
Springer
Partial evaluation of logic programs which contain impure predicates poses non-trivial challenges. Impure predicates include those which produce side-effects, raise errors (or exc...
97
Voted
ACNS
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Membership queries are basic predicate operations that apply to datasets. Quantifications of such queries express global properties between datasets, including subset inc...