432 search results - page 9 / 87 » A Formal Reuse-Based Approach for Interactively Designing Or... |
ACSC
2006
IEEE
14 years 2 months ago
2006
IEEE
This paper describes our experience when applying formal methods in the design of the tourist information system TIP, which presents context-sensitive information to mobile users ...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
HRI
2007
ACM
14 years 15 days ago
2007
ACM
The goal of the RUBI project is to accelerate progress in the development of social robots by addressing the problem at multiple levels, including the development of new scientifi...
DIGRA
2005
Springer
14 years 2 months ago
2005
Springer
In this contribution, “Interactive Digital Storytelling” is viewed as a hybrid form of game design and cinematic storytelling for the understanding and creation of future lear...
IFM
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Interactive systems combine a human operator with a computer. Either may be a source of error. The veri cation processes used must ensure both the correctness of the comp...