10159 search results - page 64 / 2032 » System Design Validation Using Formal Models |
WSC
2008
13 years 10 months ago
2008
This research presents optimized maintenance design using simulation to analyze the capability of auto part manufacturing production system. The integration of simulation and opti...
CMSB
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. In systems biology, the number of models of cellular processes increases rapidly, but re-using models in different contexts or for different questions remains a challengi...
DOCENG
2004
ACM
14 years 1 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
SCP
2002
13 years 7 months ago
2002
The agent paradigm can be seen as an extension of the notion of (active) objects by concepts like autonomy and cooperation. Mainstream object-oriented modeling techniques do not a...
MEMOCODE
2010
IEEE
13 years 6 months ago
2010
IEEE
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...