Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Report
|
![]() |
D5.2 IaC Execution Manager Prototype – v2De Arcaya, Josu DíazZenodo 2023Texto completo disponível |
2 |
Material Type: Report
|
![]() |
Deliverable D5.2 IaC Execution Manager Prototype – v2De Arcaya, Josu DíazZenodo 2022Texto completo disponível |
3 |
Material Type: Report
|
![]() |
D5.1 - IaC Execution platform prototype- v1_V1.0De Arcaya, Josu DíazZenodo 2022Texto completo disponível |
4 |
Material Type: Report
|
![]() |
Crux: Symbolic Execution Meets SMT-based Verification (Competition Contribution)Scott, Ryan ; Dockins, Robert ; Ravitch, Tristan ; Tomb, AaronZenodo 2021Texto completo disponível |
5 |
Material Type: Report
|
![]() |
EDITH standards implementation guide (IG)Mayer, Gerhard ; Golebiewski, MartinZenodo 2024Texto completo disponível |
6 |
Material Type: Report
|
![]() |
Let It TEE: Asynchronous Byzantine Atomic Broadcast with n ≥ 2f + 1Leinweber, Marc ; Hartenstein, HannesKarlsruher Institut für Technologie (KIT) 2023Texto completo disponível |
7 |
Material Type: Report
|
![]() |
SDRD Program at the NNSSGuss, Paul PUnited States 2023Sem texto completo |
8 |
Material Type: Report
|
![]() |
Database Indexing and Query Processing (Dagstuhl Seminar 22111)Borovica-Gajic, Renata ; Graefe, Goetz ; Lee, Allison ; Sauer, Caetano ; Tözün, PinarSchloss Dagstuhl – Leibniz-Zentrum für Informatik 2022Texto completo disponível |
9 |
Material Type: Report
|
![]() |
Exploring Cryptographic Approaches to Enhance Privacy in Intent SolvingKhalniyazova, YuliaZenodo 2023Texto completo disponível |
10 |
Material Type: Report
|
![]() |
Die Zukunft des MES: Beitrag auf der Internetseite IT-Matchmaker.news (https://www.it-matchmaker.com), 29. Mai 2019Wiendahl, Hans-Hermann2019Texto completo disponível |