3381 search results - page 59 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
131
click to vote
SPIN
1999
Springer
15 years 9 months ago
1999
Springer
Model checking is traditionally applied to computer system design. It has proven to be a valuable technique. However, it requires detailed specifications of systems and requirement...
179
click to vote
ECMDAFA
2009
Springer
15 years 11 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...
158
click to vote
MICCAI
1999
Springer
15 years 9 months ago
1999
Springer
We present a new approach for the computation of the deformation field between three dimensional (3D) images. The deformation field minimizes the sum of the squared differences b...
155
click to vote
WSC
2007
15 years 7 months ago
2007
Using models in different contexts poses major integration challenges, ranging from technical to conceptual levels. Independently of each other developed model components cannot b...
157
click to vote
CMSB
2004
Springer
15 years 10 months ago
2004
Springer
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...