805 search results - page 87 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
116
click to vote
CHI
2011
ACM
14 years 6 months ago
2011
ACM
Exertion games require investing physical effort. The fact that such games can support physical health is tempered by our limited understanding of how to design for engaging exert...
121
click to vote
KBSE
1998
IEEE
15 years 7 months ago
1998
IEEE
Most efforts to automate formal verification of communicating systems have centred around finite-state systems (FSSs). However, FSSs are incapable of modelling many practical comm...
129
click to vote
CN
1998
15 years 2 months ago
1998
A brief explanation is given of the language ANISE (Architectural Notions In Service Engineering) that can be used to describe generic services as well as telecommunications servi...
127
click to vote
KDD
2002
ACM
16 years 3 months ago
2002
ACM
In the last several years, large OLAP databases have become common in a variety of applications such as corporate data warehouses and scientific computing. To support interactive ...
133
Voted
MM
2009
ACM
15 years 8 months ago
2009
ACM
The automatic analysis of social interactions is attracting significant interest in the multimedia community. This work addresses one of the most important aspects of the problem...