3921 search results - page 171 / 785 » Transforming Models with ATL |
ICMCS
2009
IEEE
14 years 11 months ago
2009
IEEE
This paper presents a new approach to 3D shape comparison and retrieval based on the computation of Gaussian transforms of the surface model on a set of points regularly distribut...
111
click to vote
ENTCS
2008
15 years 1 months ago
2008
When thinking of MDE, the immediate understanding is that models drive software development, in the at the software is constructed by transforming models from higher levels of abs...
117
click to vote
TOPLAS
1998
15 years 24 days ago
1998
Abstract: We introduce a unified framework to describe, relate, compare and classify functional language implementations. The compilation process is expressed as a succession of p...
LICS
2005
IEEE
15 years 6 months ago
2005
IEEE
Three-valued models, in which properties of a system are either true, false or unknown, have recently been advocated as a better representation for reactive program abstractions g...
116
click to vote
ENTCS
2006
15 years 1 months ago
2006
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...