6978 search results - page 66 / 1396 » On Proofs in System P |
EUROCRYPT
2008
Springer
13 years 11 months ago
2008
Springer
Non-interactive zero-knowledge proofs and non-interactive witness-indistinguishable proofs have played a significant role in the theory of cryptography. However, lack of efficienc...
AICT
2006
IEEE
13 years 11 months ago
2006
IEEE
One of the main characteristics of the peer-to-peer systems is the highly dynamic nature of the users present in the system. In such a rapidly changing enviroment, end-user guaran...
WISE
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Wiki systems are becoming an important part of the information system of many organisations and communities. This introduce the issue of the data availability in case of ...
MEDES
2009
ACM
14 years 4 months ago
2009
ACM
P2P techniques for semantic coordination based on semantic communities are recently emerging to enforce effective collaboration platforms. In this paper, we focus on semantic coo...
CHARME
2001
Springer
14 years 1 months ago
2001
Springer
We consider the formal verification of the cache coherence protocol of the Stanford FLASH multiprocessor for N processors. The proof uses the SMV proof assistant, a proof system ba...