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