4099 search results - page 56 / 820 » A Framework for Interactive Proof |
SPIN
2001
Springer
15 years 2 months ago
2001
Springer
ions Using SPIN . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 Marsha Chechik, Benet Devereux, Arie Gurfinkel (University of Toronto) Imp...
FQAS
2004
Springer
15 years 3 months ago
2004
Springer
A taxonomy-based source consists of a taxonomy and a database storing objects that are indexed in terms of the taxonomy. For this kind of sources, we describe a flexible interacti...
CHI
2009
ACM
15 years 10 months ago
2009
ACM
SAC
2004
ACM
15 years 3 months ago
2004
ACM
In this paper we present an approach for developing adaptable software applications. The problem we are facing is that of a (possibly mobile) user who wants to download and execut...
59
Voted
ENTCS
2008
14 years 9 months ago
2008
This paper describes the Signature Compiler, which can compile an LF signature to a custom proof checker in either C++ or Java, specialized for that signature. Empirical results a...