SCION: A Secure Internet Architecture, Adrian Perrig; Pawel Szalachowski; Raphael M. Reis

Автор: Evangelos Markakis; Guido Sch?fer
Название: Web and Internet Economics
ISBN: 3662489945 ISBN-13(EAN): 9783662489949
Издательство: Springer
Рейтинг:
Цена: 8944.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This bookconstitutes the thoroughly refereed proceedings of the 11th InternationalConference on Web and Internet Economics, WINE 2015, held in Amsterdam, TheNetherlands, in December 2015.

Автор: Jens Knoop; Wolfgang Karl; Martin Schulz; Koji Ino
Название: Architecture of Computing Systems - ARCS 2017
ISBN: 3319549987 ISBN-13(EAN): 9783319549989
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the proceedings of the 30th International Conference on Architecture of Computing Systems, ARCS 2017, held in Vienna, Austria, in April 2017. The 19 full papers presented in this volume were carefully reviewed and selected from 42 submissions. They were organized in topical sections entitled: resilience; memory systems;

Автор: Paul Scerri; R?gis Vincent; Roger T. Mailler
Название: Coordination of Large-Scale Multiagent Systems
ISBN: 1441938729 ISBN-13(EAN): 9781441938725
Издательство: Springer
Рейтинг:
Цена: 21661.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Stefan Katzenbeisser; Niklas B?scher
Название: Compilation for Secure Multi-party Computation
ISBN: 3319675214 ISBN-13(EAN): 9783319675213
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 1. Motivation2. Related Work3. Introduction into MPC protocols3.1. Yao's Garbled Circuits protocol3.2. Goldreich-Wilkerson-Micali (GMW) protocol3.3. Requirements analysis4. A general framework to compile circuits for MPC4.1. Introduction into the model checker CBMC4.2. A new toolchain to compile circuits for MPC4.3. Adapter for MPC frameworks5. Compiling size-optimized circuits for MPC protocols with constant rounds5.1. Problem statement & optimization goal5.2. Extended compilation chain5.3. Boolean optimization methods5.4. Results6. Compiling depth-optimized circuits for round-based MPC protocols6.1. Problem statement & optimization goal6.2. Extended compilation chain6.3. High level optimization methods6.4. Low level optimization methods6.5. Results7. Compiling parallel circuits for MPC protocols7.1. Problem statement & optimization goal7.2. Extended compilation chain7.3. Fine-grained parallelization7.4. Coarse-grained parallelization7.5. Intra-party parallelization7.6. Results8. Appendix8.1. Examples in CBMC-GC

Автор: Frank Hannig; Jo?o M.P. Cardoso; Thilo Pionteck; D
Название: Architecture of Computing Systems -- ARCS 2016
ISBN: 3319306944 ISBN-13(EAN): 9783319306940
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes theproceedings of the 29th International Conference on Architecture of ComputingSystems, ARCS 2016, held in Nuremberg, Germany, in April 2016. The 29 full papers presented in this volume werecarefully reviewed and selected from 87 submissions.network-on-chip and secure computing architectures; organic computing systems;

Автор: Borzoo Bonakdarpour; Scott A. Smolka
Название: Runtime Verification
ISBN: 3319111639 ISBN-13(EAN): 9783319111636
Издательство: Springer
Рейтинг:
Цена: 7826.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014.

Автор: G?ran Pohl; Werner Nachtigall
Название: Biomimetics for Architecture & Design
ISBN: 3319191195 ISBN-13(EAN): 9783319191195
Издательство: Springer
Рейтинг:
Цена: 18284.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book provides the readers with a timely guide to the application of biomimetic principles in architecture and engineering design.

Автор: Ricardo M.S.F. Almeida; Vasco Peixoto de Freitas;
Название: School Buildings Rehabilitation
ISBN: 3319153587 ISBN-13(EAN): 9783319153582
Издательство: Springer
Рейтинг:
Цена: 7182.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book discusses the effect of different school building rehabilitation strategies on the classrooms` indoor environmental quality (IEQ) and presents a multi-objective methodology for school building enclosure optimization combining artificial neural networks and lifecycle costs.

Автор: Zawidzki
Название: Discrete Optimization in Architecture. Extremely Modular Systems
ISBN: 9811011087 ISBN-13(EAN): 9789811011085
Издательство: Springer
Рейтинг:
Цена: 7685.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book is comprised of two parts, both of which exploremodular systems: Pipe-Z (PZ) and Truss-Z (TZ), respectively. It presents severalmethods of creating PZ and TZ structures subjected to discrete optimization.The algorithms presented employ graph-theoretic and heuristic methods. Theunderlying idea of both systems is to create free-form structures using theminimal number of types of modular elements. PZ is more conceptual, as it formssingle-branch mathematical knots with a single type of module. Conversely, TZis a skeletal system for creating free-form pedestrian ramps and ramp networksamong any number of terminals in space. In physical space, TZ uses two types ofmodules that are mirror reflections of each other. The optimization criteriadiscussed include: the minimal number of units, maximal adherence to the givenguide paths, etc.