4890 search results - page 58 / 978 » From system specifications to component behavioral models |
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
TCAD
1998
14 years 9 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
VAMOS
2008
Springer
14 years 11 months ago
2008
Springer
This paper deals with managing variability on behavioral models. Such models are generally more complex, less tractable by hand than the static, structural parts of a system descr...
INFORMATICALT
2008
14 years 9 months ago
2008
In this paper the immune network system was presented by the sequence of species with new immunological components allowing more plausible to reflect the immune response processes....
ENTCS
2006
14 years 9 months ago
2006
Component based development is a promising approach for embedded systems. Typical for embedded software is the presence of resource constraints in multiple dimensions. An essentia...