805 search results - page 28 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
143
Voted
ESORICS
2002
Springer
16 years 3 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 ...
146
Voted
CHI
2006
ACM
15 years 7 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...
133
Voted
CSCWD
2009
Springer
15 years 10 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, ...
102
Voted
CHI
2010
ACM
15 years 10 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...
122
click to vote
BCSHCI
2008
15 years 5 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...