805 search results - page 41 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
115
click to vote
HCI
2009
15 years 23 days ago
2009
Due to the increasing penetration of mobile phones even in poor communities, mobile-phone-enabled banking (m-banking) services are being increasingly targeted at the "unbanked...
113
click to vote
CHI
2006
ACM
16 years 3 months ago
2006
ACM
In experimental research the job of analyzing data is an extremely slow and laborious process. In particular, video and audio data of human behavior are difficult to analyze, as t...
126
click to vote
FDL
2011
IEEE
14 years 2 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
105
click to vote
CHI
1994
ACM
15 years 7 months ago
1994
ACM
This paper describes a model-based analysis of errors in expert use of graphical user interfaces. Two mechanisms, speed-accuracy tradeoffs and attention failures, were simulated b...
126
click to vote
MHCI
2005
Springer
15 years 8 months ago
2005
Springer
This paper includes a review of mobile applications used in museum environments, focusing on the notion of context and its constituent dimensions. Museums are a representative exa...