267 search results - page 22 / 54 » Constructing Test Suites for Interaction Testing |
SPIN
2007
Springer
14 years 1 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
EUROCRYPT
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. We present an asymptotically optimal reduction of one-outof-two String Oblivious Transfer to one-out-of-two Bit Oblivious Transfer using Interactive Hashing in conjunctio...
IV
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper examines the Human Computer Interaction issue of learnability of interactive coordinated-view visualizations. We take the case of DataMaps, a Census data visualization ...
EKAW
2008
Springer
13 years 9 months ago
2008
Springer
Semantic Web applications tests show that their usability is seriously compromised. This motivates the exploration of alternative interaction paradigms, different from the "tr...
UIST
1996
ACM
13 years 11 months ago
1996
ACM
FOCUS, the Feature-Oriented Catalog USer interface, is an interactive table viewer for a common kind of table, namely the object-attribute table, also called cases-by-attribute ta...