395 search results - page 36 / 79 » Predicate Abstraction with Minimum Predicates |
122
Voted
PDPTA
2000
15 years 4 months ago
2000
Abstract We describe an event-based, publishand-subscribe system based on using "smart subscriptions" to recognize weakly structured events. We present a hierarchy of sub...
122
Voted
CADE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. We introduce a semantics for classical logic with partial functions. We believe that the semantics is natural. When a formula contains a subterm in which a function is ap...
121
Voted
CRYPTO
2010
Springer
15 years 3 months ago
2010
Springer
This paper presents a fully secure functional encryption scheme for a wide class of relations, that are specified by non-monotone access structures combined with inner-product rel...
130
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Abstract : The main novelty of this paper is to consider an extension of the Calculus of Constructions where predicates can be defined with a general form of rewrite rules. We prov...
102
click to vote
JOLLI
2006
15 years 2 months ago
2006
Abstract. Propositional dynamic logic (PDL) provides a natural setting for semantics of means-end relations involving non-determinism, but such models do not include probabilistic ...