1411 search results - page 86 / 283 » Interactive Coding for Interactive Proofs |
113
click to vote
AOSD
2012
ACM
13 years 8 months ago
2012
ACM
In this work we consider specification and compositional verification for interference detection when several aspects are woven together under joint-weaving semantics without re...
103
click to vote
ECCC
2000
15 years 11 days ago
2000
Abstract. We present the first complete problem for SZK, the class of promise problems possessing statistical zero-knowledge proofs (against an honest verifier). The problem, calle...
82
Voted
CHI
2009
ACM
16 years 1 months ago
2009
ACM
In this paper we describe an approach to gathering design requirements for a software auditory display by analyzing user interactions with an ideal partner: a talking human contro...
105
click to vote
ISWC
1997
IEEE
15 years 4 months ago
1997
IEEE
Metronaut is a novel wearable computer which captures information, senses position, provides wide range communications, consumes less than one watt of power, and weighs less than ...
113
Voted
CSREAEEE
2008
15 years 2 months ago
2008
- This paper proposes the use of an interactive web based problem solving application that utilises flowchart based programming and code generation to address the issues faced by n...