Sciweavers

5202 search results - page 227 / 1041
» A Survey of Human Computation Systems
Sort
View
DSVIS
1998
Springer
15 years 11 months ago
The Role of Verification in Interactive Systems Design
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
José Creissac Campos, Michael D. Harrison
124
Voted
ACMDIS
2006
ACM
16 years 19 days ago
The use of abstraction and motion in the design of social interfaces
Bilge Mutlu, Jodi Forlizzi, Illah R. Nourbakhsh, J...
CHI
2002
ACM
16 years 7 months ago
GAZE-2: an attentive video conferencing system
GAZE-2 is an attentive video conferencing system that conveys whom users are talking to by measuring whom a user looks at and then rotating his video image towards that person in ...
Roel Vertegaal, Ivo Weevers, Changuk Sohn
CASSIS
2004
Springer
16 years 1 days ago
A Type System for Checking Applet Isolation in Java Card
A Java Card applet is, in general, not allowed to access fields and methods of other applets on the same smart card. This applet isolation property is enforced by dynamic checks i...
Werner Dietl, Peter Müller, Arnd Poetzsch-Hef...
CHI
2009
ACM
15 years 7 months ago
The application of forgiveness in social system design
When an offence occurs, the victim and offender can overcome the harm done through forgiveness. This paper demonstrates how forgiveness can be supported in social system design. W...
Asimina Vasalou, Jens Riegelsberger, Adam N. Joins...