1
Published 2015
Table of Contents: ... Generation Tools for the B-Method Using Tests: a Case Study -- Software Validation via Model Animation...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... -- Intensional Encapsulations of Database Subsets via Genetic Programming -- Preferred Skyline: A Hybrid Approach...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Texture and Shape -- Constraints on Haptic Short-Term Memory -- Virtual Reality -- Design and Development...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ...EvoCOMNET Contributions -- Detection of DDoS Attacks via an Artificial Immune System-Inspired...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... Weighted and Spaced Circular Antenna Arrays with Reduced Side Lobe Level and First Null Beamwidth Using...
View full text
Electronic eBook