156 search results - page 1 / 32 » Verifying Model Transformations by Structural Correspondence |
91
Voted
ECEASST
2008
15 years 1 months ago
2008
: Model transformations play a significant role in model based software development, and the correctness of the transformation is crucial to the success of the development effort. ...
91
Voted
SE
2010
15 years 2 months ago
2010
92
Voted
CVPR
1998
IEEE
16 years 3 months ago
1998
IEEE
We develop a local image-correspondence algorithm which performs well near occluding boundaries. Unlike traditional robust methods, our method can find correspondences when the on...
103
Voted
CC
2010
Springer
15 years 8 months ago
2010
Springer
The problem of locally transforming or translating programs without altering their semantics is central to the construction of correct compilers. For concurrent shared-memory progr...
118
Voted
EPK
2006
15 years 2 months ago
2006
Abstract: Event-driven Process Chains (EPCs) are a commonly used modelling technique for design and documentation of business processes. Although EPCs have an easy-to-understand no...