Sciweavers

2558 search results - page 222 / 512
» Model Composition Contracts
Sort
View
ICISP
2010
Springer
15 years 3 months ago
Correction of Left Ventricle Strain Signals Estimated from Tagged MR Images
Strain measurement is a quantity used for assessing the regional function of the left ventricular (LV) of the heart. They are computed by tracking the motion of the non-invasive, ...
Mina E. Khalil, Ahmed S. Fahmy, Nael F. Osman
122
Voted
WSC
1998
15 years 6 months ago
Hierarchical Modular Modelling in Discrete Simulation
The increasing use of discrete simulation in modelling large and complex systems brings new challenges. One such challenge is the need to devise ways of developing modular approac...
Michael Pidd, R. Bayer Castro
SIES
2007
IEEE
15 years 11 months ago
Protocol Modelling Semantics for Embedded Systems
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
Ashley T. McNeile, Ella E. Roubtsova
IASTEDSEA
2004
15 years 6 months ago
A software reliability model for web services
This paper proposes a service-oriented software reliability model that dynamically evaluates the reliability of Web services. There are two kinds of Web services: atomic services ...
Wei-Tek Tsai, Dawei Zhang, Yinong Chen, Hai Huang,...
TAOSD
2010
14 years 11 months ago
Aspect-Oriented Design with Reusable Aspect Models
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...
Jörg Kienzle, Wisam Al Abed, Franck Fleurey, ...