1
Published 2014
Table of Contents: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired...
View full text
Electronic eBook