805 search results - page 50 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
142
click to vote
CSCWD
2001
Springer
15 years 7 months ago
2001
Springer
Workflow management techniques are aiming at supporting business process across organization boundaries. Current techniques are lacking of the formalism tools to model and analyze...
122
click to vote
TSD
2009
Springer
15 years 9 months ago
2009
Springer
— This article is focused on the problem of meaning recognition in spoken utterances. The goal is to find a computer algorithm capable to construct the meaning description of a ...
MHCI
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we describe a study that examines human performance in a tilt control targeting task on a PDA. A three-degree of freedom accelerometer attached to the base of the PDA...
110
click to vote
CSCWD
2008
Springer
15 years 4 months ago
2008
Springer
When web services are used to coalesce around the distributed applications, one prominent solution to manage and coordinate web services is the use of process management. Many res...
157
click to vote
HCI
2009
15 years 25 days ago
2009
As the demand for domain- and formalism-specific visual modelling environments grows, the need to rapidly construct complex User Interfaces (UIs) increases. In this paper, we propo...