2093 search results - page 278 / 419 » Business Process Modelling and Purpose Analysis for Requirem... |
EMSOFT
2003
Springer
14 years 1 months ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
ENTCS
2007
13 years 8 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...
COLING
1992
13 years 9 months ago
1992
The main purpose of communication is to exchange information. Any discourse understanding model should be able to process the flow of information throughout the entire text. Accor...
DSVIS
1998
Springer
14 years 14 days ago
1998
Springer
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
IEEECIT
2010
IEEE
13 years 6 months ago
2010
IEEE
under the research context of two axis digital control turntable, this paper has set up a mathematical model of control system of turntables. Proceeding from such model, it has ma...