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