805 search results - page 136 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
149
click to vote
OZCHI
2006
ACM
15 years 9 months ago
2006
ACM
In this paper, we present InfoScent Evaluator, a tool that automatically evaluates the semantic appropriateness of the descriptions of hyperlinks in web pages. The tool is based o...
125
Voted
CHI
2009
ACM
15 years 7 months ago
2009
ACM
In this paper we discuss some of our recent research work designing tabletop interfaces for co-located photo sharing. We draw particular attention to a specific feature of an inte...
113
click to vote
CHI
2009
ACM
16 years 3 months ago
2009
ACM
While most collaboration technologies are concerned with supporting particular tasks such as workflows or meetings, many work groups do not have the teamwork skills essential to e...
129
click to vote
CHI
2011
ACM
14 years 6 months ago
2011
ACM
By their pervasiveness and by being worn on our bodies, mobile phones seem to have become intrinsic to safety. To examine this proposition, 43 participants, from four stakeholder ...
118
click to vote
FMICS
2010
Springer
15 years 28 days ago
2010
Springer
Mutual exclusion protocols are an essential building block of concurrent systems: indeed, such a protocol is required whenever a shared resource has to be protected against concurr...