2179 search results - page 34 / 436 » Co-Creation System and Human-Computer Interaction |
DSVIS
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. In this paper we argue that using verification in interactive systems development is more than just checking whether the specification of the system has all the required ...
DSVIS
1997
Springer
14 years 2 months ago
1997
Springer
The obvious advantages of prototyping and incremental development for interactive systems lead some people to believe that specifications of such systems are unnecessary or even ha...
HRI
2007
ACM
14 years 1 months ago
2007
ACM
Robots that interact with humans face-to-face using natural language need to be responsive to the way humans use language in those situations. We propose a psychologicallyinspired...
DSVIS
1995
Springer
14 years 1 months ago
1995
Springer
Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The ...
HCI
2009
13 years 7 months ago
2009
The evolution of the Information and Communication Technology (ICT) and the rapid growth of the Internet have impelled the pervasive diffusion of e-Learning systems. This is a grea...