Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
security programming » secure programming, recursive programming, security program
programming https » programming http, programming hands, programming hints
process security » processing security, process maturity, protocols security
security programming » secure programming, recursive programming, security program
programming https » programming http, programming hands, programming hints
process security » processing security, process maturity, protocols security
1
Publié 2005
Table des matières:
“... and FDR to Software Design -- Concurrent Programming -- Communicating Mobile Processes -- Model-Based...”Accéder au texte intégral
Électronique
eBook
2
Table des matières:
“... Matching. Evolutionary Image Processing. Summary -- Network Security. Cryptographic Applications. Network...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
3
Publié 2010
Table des matières:
“... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”Accéder au texte intégral
Électronique
eBook
4
Programming Languages and Systems 19th European Symposium on Programming, ESOP 2010, Held as Part...
Publié 2010
Table des matières:
“... Contract-Based Reasoning for Verification and Certification of Information Flow Properties of Programs...”Accéder au texte intégral
Électronique
eBook
5
Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...
Publié 2014
Table des matières:
“...Composable Transactional Objects: A Position Paper -- Application-Scale Secure Multiparty...”Accéder au texte intégral
Électronique
eBook
6
Publié 2006
Table des matières:
“...-stabilizing Transformer -- Optimal Message-Driven Implementation of Omega with Mute Processes -- Incremental...”Accéder au texte intégral
Électronique
eBook
7
Publié 2012
Table des matières:
“... Processing -- Learn to Swing Up and Balance a Real Pole Based on Raw Visual Input Data -- GPU-Based...”Accéder au texte intégral
Électronique
eBook
8
Publié 2014
Table des matières:
“...Signal and Image Processing -- Real Time Crowd Counting with Human Detection and Human Tracking...”Accéder au texte intégral
Électronique
eBook
9
Publié 2010
Table des matières:
“... for Cryptography and Security Applications -- High-Energy Physics -- Medical Image Processing -- Signal Processing...”Accéder au texte intégral
Électronique
eBook
10
Publié 2008
Table des matières:
“... on Cell Broadband Engine -- Parallel Algorithm for Conflict Graph on OTIS-Triangular Array -- A Deadlock...”Accéder au texte intégral
Électronique
eBook
11
Publié 2015
Table des matières:
“... of Two Wide-band Sources with Four-element Planar Cross Array Based on Three Algorithms -- Fast...”Accéder au texte intégral
Électronique
eBook
12
Publié 2015
Table des matières:
“...BORM-II and UML as accessibility process in knowledge and business modelling -- Planning-Context...”Accéder au texte intégral
Électronique
eBook
13
Publié 2014
Table des matières:
“... for Business Processes -- CBMC-GC: An ANSI C Compiler for Secure Two-Party Computations....”Accéder au texte intégral
Électronique
eBook
14
Publié 2013
Table des matières:
“... of Security Encryption Storage System Based on SAN Environments -- Applying General Probabilistic Neural...”Accéder au texte intégral
Électronique
eBook
15
Table des matières:
“..., and Attribute-Based Programming -- Processes, AppDomains, Contexts, and CLR Hosts -- Building Multithreaded...”
Accéder au texte intégral
Accéder au texte intégral
Électronique
eBook
16
Publié 2005
Table des matières:
“...On Evaluating the Performance of Security Protocols -- Timed Equivalences for Timed Event...”Accéder au texte intégral
Électronique
eBook
17
Publié 2005
Table des matières:
“... Frontier of Computer Science -- Session III A: Information Security -- Cryptanalysis of “Wavelet Tree...”Accéder au texte intégral
Électronique
eBook
18
Publié 2005
Table des matières:
“... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”Accéder au texte intégral
Électronique
eBook
19
Publié 2013
Table des matières:
“... for Verification of Data-Centric Processes -- Bounded Proofs and Step Frames -- Compression of Propositional...”Accéder au texte intégral
Électronique
eBook
20
Publié 2006
Table des matières:
“... Processes May Crash and Recover -- Lock-Free Dynamically Resizable Arrays -- Distributed Spanner...”Accéder au texte intégral
Électronique
eBook