Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalabili...
Alexei Iliasov, Elena Troubitsyna, Linas Laibinis,...
OMG’s Model-Driven Architecture (MDA) has emerged as a new approach for the development of software. For this, the Query/View/Transformation (QVT) standard plays a central role,...
Angelika Kusel, Wieland Schwinger, Manuel Wimmer, ...
This paper presents a new three-dimensional shape descriptor, called 3D angular radial transform. This descriptor is an extension of the 2D region base shape descriptor proposed b...
Nowadays, the issue of near-duplicate video matching has been extensively studied. However, transformation, which is one of the major causes of near-duplicates, has been little di...
Database transformations arise in many di erent settings including database integration, evolution of database systems, and implementing user views and data-entry tools. This paper...