4731 search results - page 659 / 947 » Securing Interactive Programs |
160
click to vote
COCO
2007
Springer
16 years 25 days ago
2007
Springer
We consider a class of two-prover interactive proof systems where each prover returns a single bit to the verifier and the verifier’s verdict is a function of the XOR of the tw...
177
click to vote
ICAT
2006
IEEE
16 years 22 days ago
2006
IEEE
Interactive virtual characters are nowadays commonplace in games, animations, and Virtual Reality (VR) applications. However, relatively few work has so far considered the animatio...
208
click to vote
IUI
2006
ACM
16 years 19 days ago
2006
ACM
Networked appliances can simplify our lives, but interacting with them can be difficult in itself. KitchenSense is an early prototype of a networked kitchen full of sensors that u...
153
click to vote
UIST
2006
ACM
16 years 19 days ago
2006
ACM
This article describes SwingStates, a library that adds state machines to the Java Swing user interface toolkit. Unlike traditional approaches, which use callbacks or listeners to...
159
click to vote
AIED
2005
Springer
16 years 6 days ago
2005
Springer
Educational content developers, including AIED developers, traditionally make a distinction between formative evaluation and summative evaluation of learning materials. Although th...