3984 search results - page 82 / 797 » A Model-Driven Transformation Method |
106
click to vote
FMCAD
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. Transformation-based verification has been proposed to synergistically leverage various transformations to successively simplify and decompose large problems to ones whic...
125
click to vote
CORR
2010
Springer
15 years 27 days ago
2010
Springer
The paper presents a simple and concise proof of correctness of the magic transformation. We believe it may provide a useful example of formal reasoning about logic programs. The ...
138
click to vote
TIP
2008
15 years 3 months ago
2008
Abstract--The wavelet transform as an important multiresolution analysis tool has already been commonly applied to texture analysis and classification. Nevertheless, it ignores the...
126
Voted
CHI
2010
ACM
15 years 10 months ago
2010
ACM
This paper reports on the 2nd Workshop on Model Driven Development of Advanced User Interfaces (MDDAUI’06) held on October 2nd, 2006 at the MoDELS’06 conference in Genova, Ital...
134
Voted
IEEEARES
2006
IEEE
15 years 9 months ago
2006
IEEE
— Service Oriented Architectures with underlying technologies like web services and web services orchestration have opened the door to a wide range of novel application scenarios...