4099 search results - page 94 / 820 » A Framework for Interactive Proof |
116
click to vote
ACL2
2006
ACM
15 years 3 months ago
2006
ACM
To make it practical to mechanize proofs in programming language metatheory, several capabilities are required of the theorem proving framework. One must be able to represent and ...
INTERACT
2003
14 years 11 months ago
2003
: VEWL (Virtual Environment Windowing Library) is a library designed to provide a highly flexible interface metaphor for building window-based interfaces within a virtual environme...
APVIS
2006
14 years 11 months ago
2006
In the present paper, we introduce a multi-user interactive framework for solving complex optimization problems. The framework, called Co-UserHints, provides a visual computationa...
CRYPTO
2004
Springer
15 years 3 months ago
2004
Springer
We propose the first distributed discrete-log key generation (DLKG) protocol from scratch which is adaptively-secure in the non-erasure model, and at the same time completely avoi...
BIRTHDAY
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Loops and other unbound control structures constitute a major bottleneck in formal software verification, because correctness proofs over such control structures generall...