3921 search results - page 101 / 785 » Transforming Models with ATL |
GPCE
2009
Springer
15 years 5 months ago
2009
Springer
The indirection of object accesses is a common theme for target domains as diverse as transparent distribution, persistence, and program instrumentation. Virtualizing accesses to ...
89
Voted
ACSD
2010
IEEE
14 years 10 months ago
2010
IEEE
POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control syst...
108
click to vote
EDOC
2005
IEEE
15 years 6 months ago
2005
IEEE
In model driven development (MDD), specifying transformations between models at various levels of ion can be a complex task. Specifying transformations for pervasive system featur...
117
click to vote
VMCAI
2010
Springer
15 years 10 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...
99
Voted
ISLPED
1995
ACM
15 years 4 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...