Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
parallel functionality » parallel functional, oracle functionality, carbonyl functionality
functionality security » functionality securing, functional security, functionality usability
security function » security functions, security functional, security fiction
function testing » function tests, function test, mutation testing
testing https » teaching https, being https, writing https
parallel functionality » parallel functional, oracle functionality, carbonyl functionality
functionality security » functionality securing, functional security, functionality usability
security function » security functions, security functional, security fiction
function testing » function tests, function test, mutation testing
testing https » teaching https, being https, writing https
1
Taula de continguts:
“...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...”
Obtenir text complet
Obtenir text complet
Electrònic
eBook
2
Publicat 2010
Taula de continguts:
“...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”Obtenir text complet
Electrònic
eBook
3
Publicat 2006
Taula de continguts:
“... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”Obtenir text complet
Electrònic
eBook
4
Publicat 2008
Taula de continguts:
“... Backup Server Using File Fingerprint -- Aspect Oriented Testing Frameworks for Embedded Software...”Obtenir text complet
Electrònic
eBook
5
Publicat 2006
Taula de continguts:
“... Algorithm for Characteristic Points Evaluation in Static Images of Signatures -- Computer Security Systems...”Obtenir text complet
Electrònic
eBook
6
Publicat 2010
Taula de continguts:
“... Function -- Symmetric Cryptography -- The Sum of CBC MACs Is a Secure PRF -- On Fast Verification of Hash...”Obtenir text complet
Electrònic
eBook
7
Publicat 2015
Taula de continguts:
“... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...”Obtenir text complet
Electrònic
eBook
8
Publicat 2014
Taula de continguts:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”Obtenir text complet
Electrònic
eBook
9
Publicat 2015
Taula de continguts:
“...: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System...”Obtenir text complet
Electrònic
eBook
10
Publicat 2008
Taula de continguts:
“... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”Obtenir text complet
Electrònic
eBook
11
Publicat 2008
Taula de continguts:
“... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”Obtenir text complet
Electrònic
eBook
12
Publicat 2008
Taula de continguts:
“... of Statistical Randomness Tests -- New Distinguishers Based on Random Mappings against Stream Ciphers -- A...”Obtenir text complet
Electrònic
eBook
13
Publicat 2010
Taula de continguts:
“... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”Obtenir text complet
Electrònic
eBook
14
Publicat 2010
Taula de continguts:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”Obtenir text complet
Electrònic
eBook
15
Publicat 2010
Taula de continguts:
“... for Software Quality -- Security Scheme for Managing a Large Quantity of Individual Information in RFID...”Obtenir text complet
Electrònic
eBook
16
Publicat 2008
Taula de continguts:
“... Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set...”Obtenir text complet
Electrònic
eBook
17
Publicat 2006
Taula de continguts:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”Obtenir text complet
Electrònic
eBook
18
Publicat 2008
Taula de continguts:
“... -- The Complexity of Boolean Formula Minimization -- Optimal Cryptographic Hardness of Learning Monotone Functions...”Obtenir text complet
Electrònic
eBook
19
Publicat 2014
Taula de continguts:
“... Analysis and Security Testing -- Risk-Based Vulnerability Testing Using Security Test Patterns -- Medical...”Obtenir text complet
Electrònic
eBook
20
Publicat 2014
Taula de continguts:
“... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”Obtenir text complet
Electrònic
eBook