This paper presents a deformable model for automatically segmenting objects from volumetric MR images and obtaining point correspondences, using geometric and statistical informati...
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...
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...
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...
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 ...