12774 search results - page 382 / 2555 » A Framework for Proof Systems |
181
click to vote
MKM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
194
click to vote
ICTAC
2004
Springer
16 years 8 days ago
2004
Springer
The Semantic Web vision is being realized to reach the full potential of the Web. Semantic data modeling is the foundation of the Semantic Web. The Web Ontology Language (OWL) and ...
169
click to vote
MPC
2004
Springer
16 years 7 days ago
2004
Springer
A friendship system is introduced for modular static verification of object invariants. It extends a previous methodology, based on ownership hierarchy encoded in auxiliary state,...
180
click to vote
TCC
2004
Springer
16 years 7 days ago
2004
Springer
In earlier work, we described a “pathological” example of a signature scheme that is secure in the Random Oracle Model, but for which no secure implementation exists. For that...
197
click to vote
FOCS
2002
IEEE
15 years 12 months ago
2002
IEEE
We show that every language in NP has a (black-box) concurrent zero-knowledge proof system using ˜O(log n) rounds of interaction. The number of rounds in our protocol is optimal,...