805 search results - page 102 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
CHI
2006
ACM
16 years 3 months ago
2006
ACM
Evidence-based care is an increasingly popular process for long term diagnosis and monitoring of education and healthcare disabilities. Because this evidence must also be collecte...
101
Voted
CHI
2005
ACM
16 years 3 months ago
2005
ACM
ImproViz is a visualization technique for diagramming music that brings to light the signature patterns of a jazz musician's improvisational style. ImproViz consists of two p...
152
click to vote
HCI
2009
15 years 27 days ago
2009
The military environment is changing, e.g., the operating environment is becoming more varied and demanding. Due to these challenges, new user interfaces (UIs) are required providi...
209
click to vote
CHI
2011
ACM
14 years 6 months ago
2011
ACM
Although science is becoming increasingly collaborative, there are remarkably few success stories of online collaborations between professional scientists that actually result in ...
119
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...