216 search results - page 21 / 44 » A Foundation for Requirements Analysis of Dependable Softwar... |
KBSE
2008
IEEE
14 years 1 months ago
2008
IEEE
One activity performed by developers during regression testing is test-suite augmentation, which consists of assessing the adequacy of a test suite after a program is modified an...
ISBI
2006
IEEE
14 years 8 months ago
2006
IEEE
In this paper we evaluate three conceptually different approaches to mesh generation for deformable Finite Element Method (FEM) registration of Magnetic Resonance (MR) images of b...
SAIG
2000
Springer
13 years 11 months ago
2000
Springer
Extracting information from data, often also called data analysis, is an important scienti c task. Statistical approaches, which use methods from probability theory and numerical a...
EMSOFT
2004
Springer
14 years 28 days ago
2004
Springer
We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. St...
WOSP
2005
ACM
14 years 1 months ago
2005
ACM
Evaluation of non-functional properties of a design (such as performance, dependability, security, etc.) can be enabled by design annotations specific to the property to be evalua...