1206 search results - page 95 / 242 » Concurrent Abstract Predicates |
124
click to vote
WOODPECKER
2001
15 years 3 months ago
2001
Abstract. This paper presents an approach for formalizing the RM-ODP (Reference Model for Open Distributed Processing), an ISO and ITU standard. The goal of this formalization is t...
118
click to vote
PDPTA
2000
15 years 3 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...
117
click to vote
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...
117
click to vote
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...
126
Voted
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...