4272 search results - page 120 / 855 » A Case for Automatic System Evaluation |
162
click to vote
ECBS
2005
IEEE
16 years 4 days ago
2005
IEEE
Testing complex Computer-Based Systems is not only a demanding but a very critical task. Therefore the use of models for generating test data is an important goal. Tool support du...
197
click to vote
SAFECOMP
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
142
click to vote
IFM
2005
Springer
16 years 21 hour ago
2005
Springer
We provide an automatic method for calculating the path condition for programs with real time constraints. This method can be used for the semiautomatic verification of a unit of ...
180
click to vote
ICC
2008
IEEE
16 years 29 days ago
2008
IEEE
— In this paper, we propose a theoretical framework for the analysis of the impact of ultra–wideband (UWB) interference on systems that use the popular combination of bit– in...
179
click to vote
ESWA
2011
14 years 10 months ago
2011
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...