805 search results - page 93 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
110
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
Although usability methods are widely used for evaluating conventional graphical user interfaces and websites, there is a growing concern that current approaches are inadequate fo...
173
click to vote
ICSE
2009
IEEE-ACM
16 years 4 months ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
105
click to vote
FMCAD
2007
Springer
15 years 9 months ago
2007
Springer
—When model-checking reports that a property holds on a model, vacuity detection increases user confidence in this result by checking that the property is satisfied in the inte...
122
click to vote
IFIPTCS
2000
15 years 6 months ago
2000
Masaccio is a formal model for hybrid dynamical systems which are built from atomic discrete components (di erence equations) and atomic continuous components (di erential equation...
120
click to vote
ICIP
2009
IEEE
15 years 28 days ago
2009
IEEE
We present a novel technique for calibrating display-camera systems from reflections in the user's eyes. Display-camera systems enable a range of vision applications that nee...