6 search results - page 1 / 2 » Goal-Driven, Scalable Generation of Complete Interaction Seq... |
IEAAIE
2001
Springer
13 years 10 months ago
2001
Springer
ICSE
2001
IEEE-ACM
13 years 10 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...
AIPS
2000
13 years 6 months ago
2000
Graphical user interfaces (GUIs) have become nearly ubiquitous as a means of interacting with software systems. GUIs are typically highly complex pieces of software, and testing t...
CHI
2005
ACM
13 years 7 months ago
2005
ACM
HIPs, or Human Interactive Proofs, are challenges meant to be easily solved by humans, while remaining too hard to be economically solved by computers. HIPs are increasingly used ...
ASSETS
2009
ACM
14 years 5 hour ago
2009
ACM
In this paper, we propose an automatic approach, complete with a prototype system, for supporting instant access to maps for local navigation by people with visual impairment. The...