3742 search results - page 464 / 749 » On the Use of Formal Techniques for Validation |
176
click to vote
ISSTA
2009
ACM
16 years 1 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
167
click to vote
KBSE
2007
IEEE
16 years 28 days ago
2007
IEEE
Keyword programming is a novel technique for reducing the need to remember details of programming language syntax and APIs, by translating a small number of keywords provided by t...
154
click to vote
CSB
2005
IEEE
16 years 8 days ago
2005
IEEE
One of the major challenges in cancer diagnosis from microarray data is to develop robust classification models which are independent of the analysis techniques used and can combi...
196
click to vote
FIRBPERF
2005
IEEE
16 years 8 days ago
2005
IEEE
The main motivation for applying capacity planning techniques to the design of Internet-based video services is that very often these systems incur significant delays that decrea...
190
click to vote
ROBOCUP
2005
Springer
16 years 4 days ago
2005
Springer
RoboCup projects can face a lack of progress and continuity. The teams change continuously and knowledge gets lost. The approach used in previous years is no longer valid due to ru...