Sciweavers

2570 search results - page 226 / 514
» Reliability Modeling Using UML
Sort
View
MICCAI
2000
Springer
15 years 10 months ago
Adaptive-Focus Statistical Shape Model for Segmentation of 3D MR Structures
This paper presents a deformable model for automatically segmenting objects from volumetric MR images and obtaining point correspondences, using geometric and statistical informati...
Dinggang Shen, Christos Davatzikos
FORTE
2004
15 years 8 months ago
PEPA Nets in Practice: Modelling a Decentralised Peer-to-Peer Emergency Medical Application
Abstract. We apply the PEPA nets modelling language to modelling a peer-topeer medical informatics application, the FieldCare PDA-based medical records system developed by SINTEF T...
Stephen Gilmore, Valentin Haenel, Jane Hillston, L...
WSC
2000
15 years 8 months ago
Hierarchy-of-models approach for aggregated-force attrition
This paper presents some innovations for overcoming shortcomings in the current state-of-the-art for the hierarchy-of-models approach to modeling aggregatedforce attrition in grou...
James G. Taylor, Ugur Ziya Yildirim, William S. Mu...
ENTCS
2006
112views more  ENTCS 2006»
15 years 6 months ago
Modeling Web Applications by the Multiple Levels of Integrity Policy
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
Gianluca Amato, Massimo Coppola, Stefania Gnesi, F...
DSN
2002
IEEE
15 years 11 months ago
Process Modelling to Support Dependability Arguments
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating ...
Robin E. Bloomfield, Sofia Guerra