561 search results - page 21 / 113 » A Constructive Approach to Testing Model Transformations |
ICST
2008
IEEE
15 years 4 months ago
2008
IEEE
Ajax supports the development of rich-client Web applications, by providing primitives for the execution of asynchronous requests and for the dynamic update of the page structure ...
ICIP
2009
IEEE
15 years 11 months ago
2009
IEEE
A direct approach for parametric estimation of 2D affine deformations between compound shapes is proposed. It provides the result as a least-square solution of a linear system of ...
111
click to vote
SIGIR
2011
ACM
14 years 24 days ago
2011
ACM
Test collections are the primary drivers of progress in information retrieval. They provide a yardstick for assessing the effectiveness of ranking functions in an automatic, rapi...
BMCBI
2010
14 years 10 months ago
2010
Background: Metabolic pathway is a highly regulated network consisting of many metabolic reactions involving substrates, enzymes, and products, where substrates can be transformed...
ICLP
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. The many approaches which have been proposed in the literature for proving the correctness of unfold/fold program transformations, consist in associating suitable well-fo...