Sciweavers

4276 search results - page 78 / 856
» Techniques for Empirical Validation
Sort
View
APSEC
2005
IEEE
15 years 12 months ago
Simulation-based Validation and Defect Localization for Evolving, Semi-Formal Requirements Models
When requirements models are developed in an iterative and evolutionary way, requirements validation becomes a major problem. In order to detect and fix problems early, the speci...
Christian Seybold, Silvio Meier
DATE
2005
IEEE
119views Hardware» more  DATE 2005»
15 years 12 months ago
Functional Validation of System Level Static Scheduling
Increase in system level modeling has given rise to a need for efficient functional validation of models above cycle accurate level. This paper presents a technique for comparing...
Samar Abdi, Daniel D. Gajski
CIS
2005
Springer
15 years 12 months ago
A Novel Multi-stage 3D Medical Image Segmentation: Methodology and Validation
Abstract. In this paper, we present a novel multi-stage algorithm for 3D medical image segmentation that is inspired by an improved Fast Marching method and a morphological reconst...
Jianfeng Xu, Lixu Gu, Xiahai Zhuang, Terry M. Pete...
ASWSD
2004
Springer
15 years 11 months ago
Validation of Component and Service Federations in Automotive Software Applications
Abstract The automotive domain is one of the most promising areas for component and service technologies in the near future. Vehicles are increasingly becoming integrated systems w...
Luciano Baresi, Carlo Ghezzi
GECCO
2004
Springer
15 years 11 months ago
Validating a Model of Colon Colouration Using an Evolution Strategy with Adaptive Approximations
The colour of colon tissue, which depends on the tissue structure, its optical properties, and the quantities of the pigments present in it, can be predicted by a physics-based mod...
Dzena Hidovic, Jonathan E. Rowe