6293 search results - page 290 / 1259 » Information Flow Testing |
122
click to vote
CHI
2007
ACM
16 years 5 months ago
2007
ACM
Domestic ubiquitous computing systems often rely on inferences about activities in the home, but the open-ended, dynamic and heterogeneous nature of the home poses serious problem...
132
click to vote
CHI
2005
ACM
16 years 5 months ago
2005
ACM
Designers of children's technology are often more interested in user motivation than those who design systems for adults. Since children's technology often has aims such...
149
Voted
CHI
2010
ACM
15 years 11 months ago
2010
ACM
We report the results of an exploratory 8-day field study of CrossTrainer: a mobile game with crossmodal audio and tactile feedback. Our research focuses on the longitudinal effec...
121
click to vote
CHI
2010
ACM
15 years 11 months ago
2010
ACM
The distribution of task time data in usability studies is positively skewed. Practitioners who are aware of this positive skew tend to report the sample median. Monte Carlo simul...
125
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...