561 search results - page 40 / 113 » A Constructive Approach to Testing Model Transformations |
JDCTA
2010
14 years 6 months ago
2010
Multiview image registration is to compute the globally consistent transformations of a sequence of images. Due to various uncertainties, multiview image registration is considere...
CSFW
2005
IEEE
15 years 5 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
ICSE
2000
IEEE-ACM
15 years 3 months ago
2000
IEEE-ACM
One of the characteristicsof object-oriented software is the complex dependency that may exist between classes due to inheritance, association and aggregation relationships. Hence...
110
click to vote
COMPUTER
2006
14 years 12 months ago
2006
Model-driven development (MDD) is an emerging paradigm that improves the software development lifecycle, particularly for large software systems by providing a higherabstraction fo...
118
click to vote
VIP
2001
15 years 1 months ago
2001
A two-step elastic medical image registration approach is proposed, which is based on the image intensity. In the first step, the global affine medical image registration is used ...