805 search results - page 27 / 161 » Formal Analysis of Human-computer Interaction using Model-ch... |
131
click to vote
HCI
2011
14 years 6 months ago
2011
We studied communication patterns in face-to-face dialogues between people for the purpose of identifying conversation features that can be exploited to improve human-computer inte...
DSVIS
1995
Springer
15 years 6 months ago
1995
Springer
This paper introduces a formal model for the description of interactive systems based on the interactor model of [15, 17]. Similarly to that model, it is intended to be used constr...
116
click to vote
SFM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
173
Voted
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...
153
click to vote
CC
2009
Springer
15 years 22 days ago
2009
Springer
We present the architecture of the Rosser toolkit that allows optimisations to be specified in a domain specific language, then compiled and deployed towards optimising object prog...