214 search results - page 1 / 43 » An Open Visualization Framework for Metamodel-Based Modeling... |
ENTCS
2002
13 years 4 months ago
2002
FDL
2007
IEEE
13 years 8 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. The informal specification document from which the various collaterals are ...
MODELS
2007
Springer
13 years 10 months ago
2007
Springer
Abstract We have previously proposed an expressive UML-based language for constructing and transforming security-design models, which are models that combine design specifications...
ENTCS
2006
13 years 4 months ago
2006
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation us...
FDL
2006
IEEE
13 years 10 months ago
2006
IEEE
Reusing IP-cores to construct system models facilitated by automated generation of glue-logic, and automated composability checks can help designers to create efficient simulation...