Sciweavers

1140 search results - page 70 / 228
» A Model Driven Framework for IT Transformation
Sort
View
KBSE
2009
IEEE
16 years 1 months ago
A Petri Net Based Debugging Environment for QVT Relations
—In the Model-Driven Architecture (MDA) paradigm the Query/View/Transformation (QVT) standard plays a vital role for model transformations. Especially the high-level declarative ...
Manuel Wimmer, Gerti Kappel, Johannes Schönb&...
UML
2005
Springer
15 years 11 months ago
Reliability Prediction in Model-Driven Development
Abstract. Evaluating the implications of an architecture design early in the software development lifecycle is important in order to reduce costs of development. Reliability is an ...
Genaína Nunes Rodrigues, David S. Rosenblum...
ENTCS
2006
125views more  ENTCS 2006»
15 years 6 months ago
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility
We compare the expressive power of Hoare (i.e., CSP style) and Milner (i.e., CCS style) synchronizations for defining graph transformations in a framework where edges can perform ...
Ivan Lanese, Ugo Montanari
MCS
2007
Springer
15 years 6 months ago
Finite element approach to modelling evolution of 3D shape memory materials
A general finite element framework for the application to different types of phase transforming alloys and under general thermomechanical loadings is presented. The developed tec...
D. Roy Mahapatra, Roderick V. N. Melnik
MICCAI
2004
Springer
16 years 7 months ago
An Uncertainty-Driven Hybrid of Intensity-Based and Feature-Based Registration with Application to Retinal and Lung CT Images
Abstract. A new hybrid of feature-based and intensity-based registration is presented. The algorithm reflects a new understanding of the role of alignment error in the generation o...
Charles V. Stewart, Ying-Lin Lee, Chia-Ling Tsai