866 search results - page 135 / 174 » Incremental Class Testing from a Class Test Order |
148
click to vote
ISDA
2008
IEEE
15 years 8 months ago
2008
IEEE
Due to their excellent performance in solving combinatorial optimization problems, metaheuristics algorithms such as Genetic Algorithms (GA), Simulated Annealing (SA) and Tabu Sea...
KBSE
2008
IEEE
15 years 8 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
107
click to vote
ACSAC
2007
IEEE
15 years 8 months ago
2007
IEEE
Detecting the presence of buffer overflow attacks in network messages has been a major focus. Only knowing whether a message contains an attack, however, is not always enough to m...
107
click to vote
CEC
2007
IEEE
15 years 8 months ago
2007
IEEE
— AIRS (Artificial Immune Recognition System) has shown itself to be a competitive classifier. It has also proved to be the most popular immune inspired classifier. However, rath...
113
click to vote
GLOBECOM
2007
IEEE
15 years 8 months ago
2007
IEEE
— A lightweight radio frequency identification (RFID) tag-reader mutual authentication scheme was recently proposed as an improvement over the original authentication protocol s...