10182 search results - page 145 / 2037 » Case Studies |
CHI
2008
ACM
16 years 5 months ago
2008
ACM
148
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
In this paper we discuss the problems faced when trying to design an evaluation protocol for a multimodal system using novel input modalities and in a new domain. In particular, w...
260
click to vote
POPL
2008
ACM
16 years 5 months ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
196
click to vote
SIGMOD
2008
ACM
16 years 5 months ago
2008
ACM
Timing-related defects are among the most difficult types of defects to catch while testing software. They are by definition difficult to reproduce and hence they are difficult to...