6008 search results - page 264 / 1202 » The State-of-the-Art in Human-Computer Interaction |
251
click to vote
EICS
2011
ACM
14 years 10 months ago
2011
ACM
Although reactive and graphically rich interfaces are now mainstream, their development is still a notoriously difficult task. This paper presents Hayaku, a toolset that supports...
169
click to vote
DSVIS
1998
Springer
15 years 11 months ago
1998
Springer
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 ...
194
click to vote
DSVIS
1997
Springer
15 years 10 months ago
1997
Springer
The obvious advantages of prototyping and incremental development for interactive systems lead some people to believe that specifications of such systems are unnecessary or even ha...
CHI
2009
ACM
16 years 7 months ago
2009
ACM
