Sciweavers

4187 search results - page 171 / 838
» A Taxonomy of Model Transformation
Sort
View
FMCO
2009
Springer
128views Formal Methods» more  FMCO 2009»
15 years 2 months ago
Patterns for Refinement Automation
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,...
ICECCS
2009
IEEE
140views Hardware» more  ICECCS 2009»
15 years 11 months ago
Common Pitfalls of Using QVT Relations - Graphical Debugging as Remedy
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, ...
ICPR
2004
IEEE
16 years 5 months ago
ART Extension for Description, Indexing and Retrieval of 3D Objects
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...
Atilla Baskurt, David Coeurjolly, Julien Ricard
MM
2009
ACM
175views Multimedia» more  MM 2009»
15 years 9 months ago
Near-duplicate video matching with transformation recognition
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...
Zhipeng Wu, Shuqiang Jiang, Qingming Huang
SDB
1995
95views Database» more  SDB 1995»
15 years 8 months ago
Semantics of Database Transformations
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...
Peter Buneman, Susan B. Davidson, Anthony Kosky