4340 search results - page 665 / 868 » Formal Methods and Cryptography |
153
click to vote
ACSC
2005
IEEE
15 years 12 months ago
2005
IEEE
The data mining inspired problem of finding the critical, and most useful features to be used to classify a data set, and construct rules to predict the class of future examples ...
162
click to vote
APSEC
2005
IEEE
15 years 12 months ago
2005
IEEE
A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the ...
152
click to vote
ECBS
2005
IEEE
15 years 11 months 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...
180
click to vote
ISPW
2005
IEEE
15 years 11 months ago
2005
IEEE
Sound methods of analysis and comparison of software processes are crucial for such tasks as process understanding, process correctness verification, evolution management, proces...
165
click to vote
AOSE
2005
Springer
15 years 11 months ago
2005
Springer
In order to create adaptive Agent Systems with abilities matching those of their biological counterparts, a natural approach is to incorporate classical conditioning mechanisms int...