611 search results - page 9 / 123 » Testing interfaces that do not exist |
RSP
1998
IEEE
15 years 1 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
ICMCS
2005
IEEE
15 years 3 months ago
2005
IEEE
We present the ZoomSlider, a new interface for skimming and browsing video content in a flexible and interactive way. It circumvents common problems of existing video browsing app...
JUCS
2010
14 years 8 months ago
2010
: Lisp programmers constantly carry out experiments in a read-eval-print loop. The experimental activities convince the Lisp programmers that new or modified pieces of programs wo...
AVI
1998
14 years 10 months ago
1998
Although existing lab-based formative evaluation is frequently and effectively applied to improving usability of software user interfaces, it has limitations that have led to the ...
ENTCS
2010
14 years 6 months ago
2010
Testing and verification of asynchronously communicating objects in open environments are challenging due to non-determinism. We explore a formal approach for black-box testing by...