Sciweavers

CHI
2006
ACM
13 years 11 months ago
Representation of interwoven surfaces in 2 1/2 D drawing
The state-of-the-art in computer drawing programs is based on a number of concepts that are over two decades old. One such concept is the use of layers for ordering the surfaces i...
Keith Wiley, Lance R. Williams
CHI
2006
ACM
13 years 11 months ago
Towards computer-supported face-to-face knowledge sharing
Sho Iwasaki, Yasufumi Hirakawa, Harumi Mase, Eiji ...
CHI
2006
ACM
13 years 11 months ago
Use your head: exploring face tracking for mobile interaction
Thomas Riisgaard Hansen, Eva Eriksson, Andreas Lyk...
CHI
2006
ACM
13 years 11 months ago
Usability tool for analysis of web designs using mouse tracks
This paper presents MouseTrack as a web logging system that tracks mouse movements on websites. The system includes a visualization tool that displays the mouse cursor path follow...
Ernesto Arroyo, Ted Selker, Willy Wei
CASSIS
2004
Springer
13 years 11 months ago
Verification of Safety Properties in the Presence of Transactions
The JAVA CARD transaction mechanism can ensure that a sequence of statements either is executed to completion or is not executed at all. Transactions make verification of JAVA CARD...
Reiner Hähnle, Wojciech Mostowski
CASSIS
2004
Springer
13 years 11 months ago
Mastering Test Generation from Smart Card Software Formal Models
Fabrice Bouquet, Bruno Legeard, Fabien Peureux, Er...
APCHI
2004
IEEE
13 years 11 months ago
The Degree of Usability from Selected DVD Menus and Their Navigational Systems
Abstract. The purpose of this research is to investigate the usability of DVD interfaces via their menus and navigation, inspired by Donald Norman who has had a pivotal role in use...
Guy Wood-Bradley, Malcolm Campbell