1431 search results - page 70 / 287 » Solving Constraints in Model Transformations |
97
Voted
CGF
2007
15 years 17 days ago
2007
Laplacian coordinates as a local shape descriptor have been employed in mesh editing. As they are encoded in the global coordinate system, they need to be transformed locally to r...
126
Voted
IJCAT
2010
14 years 11 months ago
2010
The impact of Model-Driven Software Development in Web Engineering has given raise to the advent of Model-Driven Web Engineering, a new approach for Web Information Systems develop...
112
Voted
SOSYM
2010
14 years 11 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
103
click to vote
AI
2011
Springer
14 years 7 months ago
2011
Springer
The Extended Global Cardinality Constraint (EGCC) is a vital component of constraint solving systems, since it is very widely used to model diverse problems. The literature contai...
213
Voted
POPL
2004
ACM
16 years 27 days ago
2004
ACM
We aim to specify program transformations in a declarative style, and then to generate executable program transformers from such specifications. Many transformations require non-t...