Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality securing » functionality setting, functionality using, functionality testing
programs simulation » problems simulation, programs education, process simulation
https functionality » its functionality, bags functionality, cross functionality
simulation https » computation https, education https, migration https
securing https » security https, security http, securing rtp
functionality securing » functionality setting, functionality using, functionality testing
programs simulation » problems simulation, programs education, process simulation
https functionality » its functionality, bags functionality, cross functionality
simulation https » computation https, education https, migration https
securing https » security https, security http, securing rtp
1
Published 2012
Table of Contents:
“... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...”View full text
Electronic
eBook
2
Published 2005
Table of Contents:
“... -- Zero-Knowledge and Secure Computations -- An Unbounded Simulation-Sound Non-interactive Zero-Knowledge...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“...Keynote Speech -- Data Mining for Security Applications -- Web and Text Mining for Terrorism...”View full text
Electronic
eBook
4
Programming Languages and Systems 16th European Symposium on Programming, ESOP 2007, Held as Part...
Published 2007
Table of Contents:
“... and Languages for Web Services -- Structured Communication-Centred Programming for Web Services -- CC-Pi: A...”View full text
Electronic
eBook
5
Published 2014
Table of Contents:
“... -- On DNF Approximators for Monotone Boolean Functions -- Internal DLA: Efficient Simulation of a Physical...”View full text
Electronic
eBook
6
Published 2007
Table of Contents:
“... on Write-Once Memories -- Trading Static for Adaptive Security in Universally Composable Zero-Knowledge...”View full text
Electronic
eBook
7
Published 2006
Table of Contents:
“... -- An Optimization Methodology for Memory Allocation and Task Scheduling in SoCs Via Linear Programming -- Wireless...”View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... Computing for High-Security/High-Performance Ambient Systems -- FPL-3E: Towards Language Support...”View full text
Electronic
eBook
9
Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation 17th...
Published 2007
Table of Contents:
“... XScale Power Simulator -- Session 8 - Security and Asynchronous Design -- Low Power Elliptic Curve...”View full text
Electronic
eBook
10
Published 2015
Table of Contents:
“... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”View full text
Electronic
eBook
11
Published 2006
Table of Contents:
“... Components in Mechatronic UML -- Annotating UML Models with Non-functional Properties for Quantitative...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... on Real Space and Digital Space Symbiosis -- Workshop on Information Retrieval, Security and Innovative...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“..., China -- Emergence of Social Rumor: Modeling, Analysis, and Simulations -- Emergence of Specialization...”View full text
Electronic
eBook
15
Published 2007
Table of Contents:
“... Participatory Simulations -- A Novel Secure Interoperation System -- Scalability Analysis of the SPEC OpenMP...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“... Foundation for Formal Specifications -- Automated Verification of Security Policies in Mobile Code -- Slicing...”View full text
Electronic
eBook
17
Published 2007
Table of Contents:
“... for Clothing Thermal Functional Performance -- A Question Understanding Model Based on Knowledge Points...”View full text
Electronic
eBook
18
Published 2012
Table of Contents:
“...ASLan++ — A formal security specification language for distributed Systems -- Orchestration under...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...Marrying Words and Trees -- Simulation Using Orchestration -- Liberate Computer User from...”View full text
Electronic
eBook
20
Published 2015
Table of Contents:
“... Unclonable Function: Design of a silicon arbiter-PUF on CMOS 65 nm -- Secure Key Generator using a Loop-PUF...”View full text
Electronic
eBook