805 search results - page 81 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
124
click to vote
CG
2005
Springer
15 years 3 months ago
2005
Springer
This paper studies how Computer Graphics is taught and proposes a course on 2D Computer Graphics and Image Processing as an alternative to the traditional 3D Computer Graphics cou...
135
click to vote
INTERACT
2003
15 years 4 months ago
2003
Abstract: Representing the behaviour of multimodal interactive systems in a complete, concise and nonambiguous way is still a challenge for formal description techniques. Indeed, m...
EUROSYS
2006
ACM
16 years 10 days ago
2006
ACM
Bugs in kernel-level device drivers cause 85% of the system crashes in the Windows XP operating system [44]. One of the sources of these errors is the complexity of the Windows dr...
NORDICHI
2006
ACM
15 years 9 months ago
2006
ACM
Recently, more and more attention has been paid to emotions in the domain of Human-Computer Interaction. When evaluating a product, one can no longer ignore the emotions a product...
163
click to vote
DKE
2008
15 years 3 months ago
2008
We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri ...