4340 search results - page 665 / 868 » Formal Methods and Cryptography |
162
click to vote
ACSC
2005
IEEE
16 years 3 days 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 ...
165
click to vote
APSEC
2005
IEEE
16 years 3 days 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 ...
161
click to vote
ECBS
2005
IEEE
16 years 3 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...
187
click to vote
ISPW
2005
IEEE
16 years 1 days 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...
172
click to vote
AOSE
2005
Springer
16 years 21 hour 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...