77016 search results - page 9 / 15404 » Modeling |
CDC
2008
IEEE
14 years 1 months ago
2008
IEEE
— Deterministic approaches to model validation for robust control are investigated. In common deterministic model validation approaches, a trade-off between disturbances and mode...
IESA
2007
13 years 9 months ago
2007
In this paper we introduce and explore an extension to the existing paradigm of model transformation. Specifically, we extend existing model transformation approaches by consideri...
DSRT
2005
IEEE
14 years 1 months ago
2005
IEEE
It is common practice to build complex systems from disparate sub-systems. Model composability is concerned with techniques for developing a whole model of a system from the model...
SPIN
2010
Springer
13 years 5 months ago
2010
Springer
When applying model checking to the design models of the embedded systems, it is necessary to model not only the behavior of the target system but also that of the environment inte...
MDAFA
2004
Springer
14 years 22 days ago
2004
Springer
Abstract. As part of the AMMA project (ATLAS Model Management Architecture), we are currently building several model management tools to support the tasks of modeling in the large ...