Sciweavers

2861 search results - page 164 / 573
» Modelling Adaptive Systems in ForSyDe
Sort
View
ACL
2003
13 years 10 months ago
Flexible Guidance Generation Using User Model in Spoken Dialogue Systems
We address appropriate user modeling in order to generate cooperative responses to each user in spoken dialogue systems. Unlike previous studies that focus on user’s knowledge o...
Kazunori Komatani, Shinichi Ueno, Tatsuya Kawahara...
ESEC
1999
Springer
14 years 1 months ago
The CIP Method: Component- and Model-Based Construction of Embedded Systems
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
Hugo Fierz
ICSEA
2007
IEEE
14 years 3 months ago
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
Gordon Fraser, Franz Wotawa
EUROMICRO
2004
IEEE
14 years 27 days ago
SaveCCM - A Component Model for Safety-Critical Real-Time Systems
Component-based development has proven effective in many engineering domains, and several general component technologies are available. Most of these are focused on providing an e...
Hans Hansson, Mikael Åkerholm, Ivica Crnkovi...
COMPSAC
1997
IEEE
14 years 1 months ago
Model-integrated system development: models, architecture, and process
Many large software systems are tightly integrated with their physical environments and must be adapted when their environment changes. Typically, software development methodologi...
Gabor Karsai, Amit Misra, Janos Sztipanovits, &Aac...