Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
program security » program series, process security, program section
security array » security arab, security area, security asia
program path » program paths, program part, program pacd
path program » earth program, pelatih program, health program
https » http
program security » program series, process security, program section
security array » security arab, security area, security asia
program path » program paths, program part, program pacd
path program » earth program, pelatih program, health program
https » http
1
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publicat 2014
Taula de continguts:
“...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...”Obtenir text complet
Electrònic
eBook
2
Publicat 2008
Taula de continguts:
“... 3. Proof-Theory 1 -- From One Session to Many: Dynamic Tags for Security Protocols -- A Conditional...”Obtenir text complet
Electrònic
eBook
3
Publicat 2008
Taula de continguts:
“... the Absence of Errors -- Protocol Inference Using Static Path Profiles -- Solving Multiple Dataflow Queries...”Obtenir text complet
Electrònic
eBook
4
Publicat 2008
Taula de continguts:
“... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...”Obtenir text complet
Electrònic
eBook
5
Publicat 2005
Taula de continguts:
“... SPEC2000FP Benchmarks -- An Offline Approach for Whole-Program Paths Analysis Using Suffix Arrays...”Obtenir text complet
Electrònic
eBook
6
Publicat 2007
Taula de continguts:
“... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”Obtenir text complet
Electrònic
eBook
7
Publicat 2005
Taula de continguts:
“... in MIPv6 -- QoS Support in TLMM: Three Level Mobility Model for IP-Based Networks -- Path Stability Based...”Obtenir text complet
Electrònic
eBook
8
Publicat 2010
Taula de continguts:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”Obtenir text complet
Electrònic
eBook
9
Publicat 2005
Taula de continguts:
“... Point Using Intel’s IXP1200 Network Processor -- MuSeQoR: Multi-path Failure-Tolerant Security-Aware QoS...”Obtenir text complet
Electrònic
eBook
10
Publicat 2010
Taula de continguts:
“... -- Steerable Distributed Large-Aperture Audio Array Using Low-Power Wireless Acoustic Sensor Nodes...”Obtenir text complet
Electrònic
eBook
11
Publicat 2005
Taula de continguts:
“... -- Session 2: Peer-to-Peer Computing -- A Secure P2P Video Conference System for Enterprise Environments...”Obtenir text complet
Electrònic
eBook
12
Publicat 2010
Taula de continguts:
“...Mission Capable Autonomous Control Systems in the Oceans, in the Air and in Space -- Three Paths...”Obtenir text complet
Electrònic
eBook
13
Publicat 2012
Taula de continguts:
“... Readability -- Aspect-Oriented Design and Implementation of Secure Agent Communication System -- Texture...”Obtenir text complet
Electrònic
eBook
14
Publicat 2013
Taula de continguts:
“...-specific Characteristics -- The Application of Information Security on the Computer Terminals of 3rd...”Obtenir text complet
Electrònic
eBook
15
Publicat 2007
Taula de continguts:
“... Implementations of Pipelined and Non-Pipelined Signed Radix-4 Array Multiplier and Modified Booth Multiplier...”Obtenir text complet
Electrònic
eBook
16
Publicat 2005
Taula de continguts:
“... on Statistical Characteristics of Data -- Distribution Rules for Array Database Queries -- Efficient Processing...”Obtenir text complet
Electrònic
eBook
17
Publicat 2013
Taula de continguts:
“... Neural Network Classifier -- Optimization Path Programming Using Improved Multi-Group Ant Colony...”Obtenir text complet
Electrònic
eBook