805 search results - page 55 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
125
click to vote
ISSTA
2004
ACM
15 years 8 months ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
116
click to vote
CHI
2008
ACM
16 years 3 months ago
2008
ACM
Although both statistical methods and visualizations have been used by network analysts, exploratory data analysis remains a challenge. We propose that a tight integration of thes...
118
click to vote
CHI
2000
ACM
15 years 7 months ago
2000
ACM
This paper provides a unique quantitative analysis of the social dynamics of three chat rooms in the Microsoft VChat graphical chat system. Survey and behavioral data were used to...
CHI
2007
ACM
16 years 3 months ago
2007
ACM
In this paper we present the MapMover project as a case study into the use and design of an interactive system for collective expression. Informed by analysis and reflection we ad...
133
click to vote
DSVIS
1995
Springer
15 years 6 months ago
1995
Springer
Any action is performed in a particular context. So what does it mean to do the ‘same’ thing in a different context? There is no simple answer to this question , it depends on ...