1052 search results - page 21 / 211 » SUIDT: safe user interface design tool |
FASE
2000
Springer
13 years 11 months ago
2000
Springer
We present a family of tools for program development and verification, comprising the transformation system TAS and the theorem proving interface IsaWin. Both are based on the theo...
WSC
2007
13 years 10 months ago
2007
Evaluation of user interface design is usually based on usability testing methods. In this paper we analyzed and described the user behavior in the form of the user model. The use...
CGVR
2006
13 years 9 months ago
2006
In this paper, we present the results of a comparative evaluation of a "virtual Lego" system against real Lego bricks with novice users. The virtual Lego system was desi...
OZCHI
2006
ACM
2006
ACM
Tangible tiles: design and evaluation of a tangible user interface in a collaborative tabletop setup
14 years 1 months ago
In this paper we describe a tangible user interface “Tangible Tiles”, which utilizes optically tracked transparent Plexiglass tiles for interaction and display of projected im...
UIST
2010
ACM
13 years 5 months ago
2010
ACM
As networking moves into the home, home users are increasingly being faced with complex network management chores. Previous research, however, has demonstrated the difficulty many...