1
Published 2015
Table of Contents: ... of Spoofed IP Packets -- 11. A Queueing Model for E-Learning System -- 12. Development of Common Parallel...
View full text
Electronic eBook
2
Published 2013
Table of Contents: ... and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ...) -- Aggregating CL-Signatures Revisited: Extended Functionality and Better Efficiency -- Accumulators and U-Prove...
View full text
Electronic eBook
4
Published 2014
Table of Contents: ... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...
View full text
Electronic eBook
5
Published 2008
Table of Contents: ...-on-Tangent vs. Tangent-on-Reverse for Second Differentiation of Constrained Functionals -- Parallel Reverse...
View full text
Electronic eBook
6
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
7
Published 2014
Table of Contents: ... -- Showing Invariance Compositionally for a Process Algebra for Network Protocols -- A Computer-Algebra-Based...
View full text
Electronic eBook
8
Published 2013
Table of Contents: ... Classifiers to Data Stream Classification -- Efficacy of Some Primary Discriminant Functions in Diagnosing...
View full text
Electronic eBook