805 search results - page 48 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
135
click to vote
RIAO
2007
15 years 4 months ago
2007
In this paper, we describe a novel methodology that integrates the design of the (i) user interface; (ii) interaction logger; and (iii) log analyzer. It is based on formalizing, v...
121
click to vote
JCS
2006
15 years 3 months ago
2006
We present three case studies, investigating the use of probabilistic model checking to automatically analyse properties of probabilistic contract signing protocols. We use the pr...
CHI
2009
ACM
16 years 3 months ago
2009
ACM
GestureBar is a novel, approachable UI for learning gestural interactions that enables a walk-up-and-use experience which is in the same class as standard menu and toolbar interfa...
CHI
2009
ACM
16 years 3 months ago
2009
ACM
We explore the use of multi-finger input to emulate full mouse functionality, such as the tracking state, three buttons, and chording. We first present the design space for such t...
162
click to vote
SOFTVIS
2010
ACM
15 years 3 months ago
2010
ACM
Multi-core processors have become increasingly prevalent, driving a software shift toward concurrent programs which best utilize these processors. Testing and debugging concurrent...