10790 search results - page 171 / 2158 » Using feature models to automate model transformations |
126
click to vote
DAC
1998
ACM
16 years 6 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
127
click to vote
DAC
2000
ACM
16 years 6 months ago
2000
ACM
In this paper, we presen t the design and use of a comprehensiv e framework, SimplePower, for evaluating the e ect of high-level algorithmic, architectural, and compilation tradeo...
136
click to vote
CII
2008
15 years 5 months ago
2008
Today's enterprises face critical needs in integrating disparate information spread over several data sources inside and even outside the organization. Most organizations alre...
126
click to vote
DATE
2003
IEEE
15 years 10 months ago
2003
IEEE
A new model-order reduction technique for linear dynamic systems is presented. The idea behind this technique is to transform the dynamic system function from the s-domain into th...
150
Voted
ITCC
2005
IEEE
15 years 10 months ago
2005
IEEE
models evolve at different levels of abstraction, from the requirements specification to development of the source code. The models underlying this process are related and their ...