6434 search results - page 181 / 1287 » Model Transformations with Reference Models |
TCAD
2008
13 years 10 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
WER
2004
Springer
14 years 4 months ago
2004
Springer
MDA is a software development framework where the core is a set of automatic transformation of models. One of these models, the CIM, is used to define the business process model. T...
JUCS
2010
13 years 5 months ago
2010
Abstract: Model-Driven Architecture (MDA) presents a set of layered models to separate design concerns from platform concerns. The model executability for each model element is sti...
VMCAI
2010
Springer
14 years 8 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
ISLPED
1995
ACM
14 years 2 months ago
1995
ACM
In this paper we present a novel approach to model the search space for optimal set data types in network component realisations. The main objective is to arrive at power efficie...