805 search results - page 81 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
140
click to vote
CG
2005
Springer
15 years 4 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...
143
click to vote
INTERACT
2003
15 years 5 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...
108
click to vote
EUROSYS
2006
ACM
16 years 1 months 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...
111
Voted
NORDICHI
2006
ACM
15 years 10 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...
176
click to vote
DKE
2008
15 years 4 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 ...