Sciweavers

2570 search results - page 226 / 514
» Reliability Modeling Using UML
Sort
View
MICCAI
2000
Springer
15 years 6 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 3 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 3 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...
109
Voted
ENTCS
2006
112views more  ENTCS 2006»
15 years 2 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...
90
Voted
DSN
2002
IEEE
15 years 7 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