268 search results - page 22 / 54 » Equivalence for the G3'-stable models semantics |
ASIACRYPT
2003
Springer
14 years 24 days ago
2003
Springer
In this paper, we study some RSA-based semantically secure encryption schemes (IND-CPA) in the standard model. We first derive the exactly tight one-wayness of Rabin-Paillier encr...
LICS
2012
IEEE
11 years 10 months ago
2012
IEEE
—This paper introduces HOpiPn, the higher-order pi-calculus with passivation and name creation, and develops an equivalence theory for this calculus. Passivation [Schmitt and Ste...
MM
1999
ACM
13 years 12 months ago
1999
ACM
Adaptation techniques for multimedia presentations are mainly concerned with switching between different qualities of single media elements to reduce the data volume and by this ...
AAAI
2007
13 years 10 months ago
2007
This paper presents both a semantic and a computational model for multi-agent belief revision. We show that these two models are equivalent but serve different purposes. The seman...
CONCUR
2009
Springer
14 years 2 months ago
2009
Springer
Several process algebras for modelling hybrid systems have appeared in the literature in recent years. These all assume that continuous variables in the system are modelled monolit...