1636 search results - page 238 / 328 » From Usability Lab to |
CHI
2001
ACM
14 years 9 months ago
2001
ACM
The credibility of web sites is becoming an increasingly important area to understand. To expand knowledge in this domain, we conducted an online study that investigated how diffe...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Tree automata completion is a technique for the verification of infinite state systems. It has already been used for the verification of cryptographic protocols and the prototyping...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
In this paper, we propose a method to help users avoid bugs in GUI applications. In particular, users would use the application normally and report bugs that they encounter to pre...
PERCOM
2005
ACM
14 years 8 months ago
2005
ACM
Preserving one's uniquely customized computing environment as one moves to different locations is an enduring challenge in mobile computing. We examine why this capability is...
POPL
2010
ACM
14 years 6 months ago
2010
ACM
Most systems based on separation logic consider only restricted forms of implication or non-separating conjunction, as full support for these connectives requires a non-trivial no...