3921 search results - page 16 / 785 » Transforming Models with ATL |
WOSP
2005
ACM
14 years 3 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...
ENTCS
2008
13 years 10 months 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...
ICMCS
2007
IEEE
14 years 4 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...
OOPSLA
2009
Springer
14 years 2 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
13 years 10 months 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 ...