4099 search results - page 96 / 820 » A Framework for Interactive Proof |
SCIENTOMETRICS
2010
14 years 8 months ago
2010
The characteristic scores and scales (CSS), introduced by Glänzel and Schubert [Journal of Information Science 14, 123-127, 1988] and further studied in subsequent papers of Glä...
COLCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract. Existing Peer to Peer (P2P) collaborative editing systems do not allow any user to undo any modification. However, in such systems, users are not aware of others’ modi...
INFOCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
In this report, we will provide the detailed theoretical analysis including some omitted proofs in our latest submission to Infocom 2008. For more details about the framework prot...
TPHOL
2008
IEEE
15 years 4 months ago
2008
IEEE
Slicing is a widely-used technique with applications in e.g. compiler technology and software security. Thus verification of algorithms in these areas is often based on the correc...
TPHOL
2007
IEEE
15 years 4 months ago
2007
IEEE
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...