Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Capítulo de Livro
|
Implicit Computational Complexity of Subrecursive Definitions and Applications to Cryptographic ProofsDavis, Martin ; Fehnker, Ansgar ; McIver, Annabelle ; Voronkov, AndreiJournal of automated reasoning, 2015, Vol.9450 (4), p.203-218 [Periódico revisado por pares]Germany: Springer Berlin / HeidelbergTexto completo disponível |
|
2 |
Material Type: Capítulo de Livro
|
Security-Aware Virtual Machine Placement in Cloud Data CenterShetty, Sachin ; Yuchi, Xuebiao ; Song, MinMoving Target Defense for Distributed Systems, 2016, p.13-24 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
3 |
Material Type: Capítulo de Livro
|
Optimizing Network-Aware Resource Allocation in Cloud Data CentersShetty, Sachin ; Yuchi, Xuebiao ; Song, MinMoving Target Defense for Distributed Systems, 2016, p.43-55 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
4 |
Material Type: Capítulo de Livro
|
Scalable Network Diversity Modeling For Assessing Threats in Cloud NetworksShetty, Sachin ; Yuchi, Xuebiao ; Song, MinMoving Target Defense for Distributed Systems, 2016, p.25-42 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
5 |
Material Type: Capítulo de Livro
|
Moving Target Defense in Distributed SystemsShetty, Sachin ; Yuchi, Xuebiao ; Song, MinMoving Target Defense for Distributed Systems, 2016, p.1-11 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
6 |
Material Type: Capítulo de Livro
|
Towards a Network-Aware VM Migration: Evaluating the Cost of VM Migration in Cloud Data CentersShetty, Sachin ; Yuchi, Xuebiao ; Song, MinMoving Target Defense for Distributed Systems, 2016, p.57-74 [Periódico revisado por pares]Switzerland: Springer International Publishing AGTexto completo disponível |
|
7 |
Material Type: Capítulo de Livro
|
Performance Improvements for Search Systems Using an Integrated Cache of Lists+IntersectionsTolosa, Gabriel ; Becchetti, Luca ; Feuerstein, Esteban ; Marchetti-Spaccamela, AlbertoInformation retrieval (Boston), 2017, Vol.20 (3), p.227-235 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
8 |
Material Type: Capítulo de Livro
|
Idealized Models for FEA Derived from Generative Modeling Processes Based on Extrusion PrimitivesBoussuge, F. ; Léon, J. -C. ; Hahmann, S. ; Fine, L.Engineering with computers, 2015, Vol.31, p.127-145 [Periódico revisado por pares]Cham: Springer International PublishingTexto completo disponível |
|
9 |
Material Type: Capítulo de Livro
|
PEDIVHANDI: Multimodal Indexation and Retrieval System for Lecture VideosVan Nguyen, Nhu ; Ogier, Jean-Marc ; Charneau, FranckComputer Vision – ACCV 2012, 2013, Vol.3 (4), p.382-393 [Periódico revisado por pares]Berlin, Heidelberg: Springer Berlin HeidelbergTexto completo disponível |
|
10 |
Material Type: Capítulo de Livro
|
Multivariate State Space Modelling of Bird Migration Count DataKnape, Jonas ; Jonzén, Niclas ; Sköld, Martin ; Sokolov, LeonidEnvironmental and ecological statistics, 2009, Vol.3 (1), p.59-79 [Periódico revisado por pares]Boston, MA: Springer USTexto completo disponível |