805 search results - page 28 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
131
click to vote
ESORICS
2002
Springer
16 years 2 months ago
2002
Springer
We introduce the ISM approach, a framework for modeling and verifying reactive systems in a formal, even machine-checked, way. The framework has been developed for applications in ...
138
click to vote
CHI
2006
ACM
15 years 6 months ago
2006
ACM
This paper presents MouseTrack as a web logging system that tracks mouse movements on websites. The system includes a visualization tool that displays the mouse cursor path follow...
124
click to vote
CSCWD
2009
Springer
15 years 9 months ago
2009
Springer
This work presents a methodology to formally model and to build collaborative three dimensional interaction tasks in virtual environments using three different tools: Petri Nets, ...
CHI
2010
ACM
15 years 9 months ago
2010
ACM
We report on an exploratory study analyzing preferred reading regions on a monitor using eye tracking. We show that users have individually preferred reading regions, varying in l...
116
click to vote
BCSHCI
2008
15 years 4 months ago
2008
The aim of the tutorial is to help researchers, particularly early career researchers, to develop the appropriate skills to make a useful research contribution to Human-Computer I...