805 search results - page 47 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
113
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
This is a case study about the early adoption and use of micro-blogging in a Fortune 500 company. The study used several independent data sources: five months of empirical micro-b...
140
click to vote
TLDI
2009
ACM
15 years 12 months ago
2009
ACM
The importance of distributed systems is growing as computing devices become ubiquitous and bandwidth becomes plentiful. Concurrency and distribution pose algorithmic and implemen...
123
click to vote
HCI
2009
15 years 24 days ago
2009
Current tools for multidisciplinary teams in user-centered software engineering (UCSE) provide little support for the different approaches of the various disciplines in the project...
123
click to vote
CHI
2007
ACM
16 years 3 months ago
2007
ACM
We present ExperiScope, an analytical tool to help designers and experimenters explore the results of quantitative evaluations of interaction techniques. ExperiScope combines a ne...
CHI
2007
ACM
16 years 3 months ago
2007
ACM
We are currently working on a museum guide robot with an emphasis on "friendly" human-robot interaction displayed through nonverbal behaviors. In this paper, we focus on...