1
Published 2010
Table of Contents: ... -- Remote Attestation on Function Execution (Work-in-Progress) -- Scalable Remote Attestation with Privacy...
View full text
Electronic eBook
2
Published 2008
Table of Contents: ... -- Side Channel Analysis -- Quantifying Timing Leaks and Cost Optimisation -- Method for Detecting...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... Scheme for Anomaly Detection on Smartphones -- A Smart Card Implementation of the McEliece PKC...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... of the Cross-Species Conserved Active Modules Detection Problem -- Finding Highly Connected Subgraphs -- Fixing...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Encoding on GPGPUs -- Towards Metaprogramming for Parallel Systems on a Chip -- Dynamic Detection...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... Algorithm for Solving Multi-Objective Optimization Problems -- B-spline Surface Approximation Using...
View full text
Electronic eBook
7
Published 2013
Table of Contents: ... -- Generating Artificial Neural Networks for Value Function Approximation in a Domain Requiring a Shifting...
View full text
Electronic eBook
8
Published 2007
Table of Contents: ... in a Broad Area -- PolyI-D: Polymorphic Worm Detection Based on Instruction Distribution -- Cyber...
View full text
Electronic eBook
9
Published 2015
Table of Contents: ... -- Characteristic Function for Variable-Bit-Rate Multimedia QoS -- A Fully Simulatable Oblivious Transfer Scheme...
View full text
Electronic eBook
10
Published 2007
Table of Contents: ... on Satisfiability Modulo Theories -- A JML Tutorial: Modular Specification and Verification of Functional Behavior...
View full text
Electronic eBook
11
Published 2011
Table of Contents: ... -- A comparison of dataflow and mutation testing of Java methods -- A new three levels context based...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... -- Code Mutation in Verification and Automatic Code Correction -- Efficient Detection of Errors in Java...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ... -- Spatial Speaker Spatial Positioning of Synthesized Speech in Java -- Commercial Break Detection...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... Logical Systems -- The Description Logic for Relational Databases -- Non-Functional Requirements...
View full text
Electronic eBook
15
Published 2005
Table of Contents: ... Aware Distributed Computing -- The Feature Selection and Intrusion Detection Problems -- On the BDD of a...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Application to the Protein Folding Problem -- Disjunctive Constraint Lambda Calculi -- Computational Issues...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... of Novel Stochastic Methods of Function Recovery -- Automatic Face Analysis System Based on Face...
View full text
Electronic eBook
18
Published 2005
Table of Contents: ... Are They and Are They Useful? -- First-Level Instruction Cache Design for Reducing Dynamic Energy Consumption -- A Novel JAVA...
View full text
Electronic eBook
19
Published 2007
Table of Contents: ... Design Space Exploration -- Processor Components -- Resource Conflict Detection in Simulation of Function...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... for Solving Very Large Scale Instances of the Design Distribution Problem for Distributed Database Systems...
View full text
Electronic eBook