3921 search results - page 16 / 785 » Transforming Models with ATL |
116
click to vote
WOSP
2005
ACM
15 years 6 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
89
Voted
ENTCS
2008
15 years 13 days ago
2008
This paper presents an efficient solution for modeling checking graph transformation systems. The approach transforms AGG specifications into Bogor models and supports both attribu...
85
Voted
ICMCS
2007
IEEE
15 years 6 months ago
2007
IEEE
This paper introduces a ¢¤£ discrete, non-separable transform for image processing, which can be regarded as a combination of the well known Discrete Cosine Transform (DCT) wit...
115
Voted
OOPSLA
2009
Springer
15 years 5 months ago
2009
Springer
The traditional model transformation approach is to write transformation programs in a specialized language. Although such languages provide powerful capabilities to automate mode...
BMCBI
2008
15 years 15 days ago
2008
Background: Choosing the appropriate sample size is an important step in the design of a microarray experiment, and recently methods have been proposed that estimate sample sizes ...