Sciweavers

741 search results - page 100 / 149
» Automatic Generation and Validation of Models of Legacy Soft...
Sort
View
ESWA
2011
243views Database» more  ESWA 2011»
14 years 1 months ago
A novel case based reasoning approach to radiotherapy planning
Radiotherapy planning is a complex problem which requires both expertise and experience of an oncologist. A Case Based Reasoning (CBR) system is developed to generate dose plans f...
Sanja Petrovic, Nishikant Mishra, Santhanam Sundar
LICS
2003
IEEE
15 years 3 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
SPLC
2008
14 years 11 months ago
Automated Diagnosis of Product-Line Configuration Errors in Feature Models
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting feature sets that satisfy feature model constraints. Conf...
Jules White, Douglas C. Schmidt, David Benavides, ...
MEMOCODE
2008
IEEE
15 years 4 months ago
Virtual prototyping AADL architectures in a polychronous model of computation
While synchrony and asynchrony are two distinct concepts of concurrency theory, effective and formally defined embedded system design methodologies usually mix the best from both...
Ma Yue, Jean-Pierre Talpin, Thierry Gautier
MICCAI
2010
Springer
14 years 7 months ago
Automated Sulci Identification via Intrinsic Modeling of Cortical Anatomy
In this paper we propose a novel and robust system for the automated identification of major sulci on cortical surfaces. Using multiscale representation and intrinsic surface mappi...
Yonggang Shi, Bo Sun, Rongjie Lai, Ivo D. Dinov, A...