4850 search results - page 225 / 970 » Proof and Computation in Geometry |
162
click to vote
FOCS
2003
IEEE
15 years 12 months ago
2003
IEEE
We show new lower bounds and impossibility results for general (possibly non-black-box) zero-knowledge proofs and arguments. Our main results are that, under reasonable complexity...
180
click to vote
ASM
1998
ASM
15 years 10 months ago
1998
ASM
This paper is devoted to the speci cation of the Stanford FLASHcache coherence protocol within the ASM formalism. Correctness proofs related to data consistency are presented. Corn...
166
click to vote
CONCUR
1998
Springer
15 years 10 months ago
1998
Springer
The classical theory of deterministic automata is presented in terms of the notions of homomorphism and bisimulation, which are the cornerstones of the theory of universal coalgebr...
189
click to vote
MFCS
1998
Springer
15 years 10 months ago
1998
Springer
We develop a control flow analysis for the Imperative Object Calculus. We prove the correctness with respect to two Structural Operational Semantics that differ in minor technical ...
169
click to vote
RELMICS
1997
Springer
15 years 10 months ago
1997
Springer
In this paper we extend an earlierapproach to graphicalrelationcalculitowards relational matching, thus allowing proofs with fewer auxiliary steps and concentrating more on the es...