Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
functionality securing » functionality setting, functionality using, functionality testing
https functionality » its functionality, bags functionality, cross functionality
program foundation » prosea foundation, program formulation, programming foundations
foundation https » foundations https, foundations http, function https
securing https » security https, security http, securing rtp
functionality securing » functionality setting, functionality using, functionality testing
https functionality » its functionality, bags functionality, cross functionality
program foundation » prosea foundation, program formulation, programming foundations
foundation https » foundations https, foundations http, function https
securing https » security https, security http, securing rtp
1
2
Publicat 2008
Taula de continguts:
“... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”Obtenir text complet
Electrònic
eBook
3
Publicat 2010
Taula de continguts:
“...Invited Talks -- A Calculus for Hybrid CSP -- Foundations of Quantum Programming (Extended Abstract...”Obtenir text complet
Electrònic
eBook
4
Publicat 2007
Taula de continguts:
“...REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software...”Obtenir text complet
Electrònic
eBook
5
Publicat 2014
Taula de continguts:
“... Independence and Constraint-Preserving Snapshot Isolation -- Implication and Axiomatization of Functional...”Obtenir text complet
Electrònic
eBook
6
Publicat 2005
Taula de continguts:
“... Security and an Application to File System Accesses -- Regular Papers -- A Machine Text-Inspired Machine...”Obtenir text complet
Electrònic
eBook
7
Publicat 2007
Taula de continguts:
“... Computing -- Traitor Tracing with Optimal Transmission Rate -- Symmetric-Key Cryptography -- The Security...”Obtenir text complet
Electrònic
eBook
8
Publicat 2010
Taula de continguts:
“... Requirements: A Case Study -- Security Requirements -- On the Role of Ambiguity in RE -- Towards a Framework...”Obtenir text complet
Electrònic
eBook
9
Publicat 2015
Taula de continguts:
“... Requirements in Function-Centered Engineering of Embedded Systems -- Estimating the Implementation Risk...”Obtenir text complet
Electrònic
eBook
10
Publicat 2005
Taula de continguts:
“... Can Prove So Many Things in Zero-Knowledge -- Identity Based Cryptography -- Improvements on Security...”Obtenir text complet
Electrònic
eBook
11
Publicat 2006
Taula de continguts:
“... Deployable Secure-Mailing-List Solution -- Mathematical Foundations for the Design of a Low-Rate DoS Attack...”Obtenir text complet
Electrònic
eBook
12
Publicat 2008
Taula de continguts:
“... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”Obtenir text complet
Electrònic
eBook
13
Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...
Publicat 2005
Taula de continguts:
“...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”Obtenir text complet
Electrònic
eBook
14
Publicat 2008
Taula de continguts:
“...-Free Grammars Using an Incremental SAT Solver -- Track C: Security and Cryptography Foundations -- Weak...”Obtenir text complet
Electrònic
eBook
15
Publicat 2006
Taula de continguts:
“... Hardcore Functions by Complexity-Theoretical Quantum List Decoding -- Foundations -- Efficient Pseudorandom...”Obtenir text complet
Electrònic
eBook
16
Publicat 2010
Taula de continguts:
“... A1. Game Theory -- The Cooperative Game Theory Foundations of Network Bargaining Games...”Obtenir text complet
Electrònic
eBook
17
Publicat 2015
Taula de continguts:
“... Automata -- Analysis of Probabilistic Systems via Generating Functions and Padé Approximation...”Obtenir text complet
Electrònic
eBook
18
Publicat 2014
Taula de continguts:
“... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”Obtenir text complet
Electrònic
eBook
19
Publicat 2008
Taula de continguts:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”Obtenir text complet
Electrònic
eBook
20
Publicat 2013
Taula de continguts:
“... -- Robustness Analysis of Finite Precision Implementations -- A Hoare Logic for SIMT Programs -- The Undefined...”Obtenir text complet
Electrònic
eBook