1797 search results - page 64 / 360 » Real-World Graphical User Interfaces |
111
click to vote
DSVIS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties...
116
click to vote
ICSE
2001
IEEE-ACM
15 years 7 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
101
click to vote
UIST
1997
ACM
15 years 6 months ago
1997
ACM
In this paper we present a simple but general set of techniques for modifying output in a 2D user interface toolkit. We use a combination of simple subclassing, wrapping, and coll...
111
click to vote
EUSAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we propose a tangible cube as an input device for playfully changing between different TV-channels. First we consider several design approaches and compare ...
147
Voted
PERCOM
2007
ACM
16 years 2 months ago
2007
ACM
One of the visions of pervasive computing is using mobile computers to interact with networked devices. A question raised by this vision is: Should the userinterfaces of these dev...