Networked Systems (Lecture Notes in Computer Science) de Mohamed Faouzi Atig

Networked Systems: 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers: Lecture Notes in Computer Science, cartea 11704

Mohamed Faouzi Atig

Alexander A. Schwarzmann

en Limba Engleză Paperback – 14 sep 2019

This book constitutes the revised selected papers of the 7^th International Conference on Networked Systems, NETYS 2019, held in Marrakech, Morocco, in June 2019. The 23 revised full papers and 3 short papers presented were carefully reviewed and selected from 60 submissions. The papers are organized in the following topics: formal verification, distributed systems, security, concurrency, and networks.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

20%

Preț: 1020^.28 lei
Preț: 395^.25 lei
20%

Preț: 327^.36 lei
20%

Preț: 984^.64 lei
20%

Preț: 400^.77 lei
20%

Preț: 328^.94 lei
20%

Preț: 340^.04 lei
20%

Preț: 487^.46 lei
20%

Preț: 629^.71 lei
20%

Preț: 386^.08 lei
20%

Preț: 489^.11 lei
20%

Preț: 556^.96 lei
20%

Preț: 560^.93 lei
15%

Preț: 558^.12 lei
20%

Preț: 782^.57 lei
20%

Preț: 679^.09 lei
20%

Preț: 330^.54 lei
20%

Preț: 733^.68 lei
20%

Preț: 435^.28 lei
20%

Preț: 375^.72 lei
20%

Preț: 342^.61 lei
20%

Preț: 432^.78 lei
20%

Preț: 904^.16 lei
20%

Preț: 1391^.87 lei
20%

Preț: 373^.80 lei
20%

Preț: 400^.17 lei
20%

Preț: 478^.59 lei
20%

Preț: 1359^.66 lei
20%

Preț: 620^.33 lei
20%

Preț: 731^.97 lei
20%

Preț: 733^.68 lei
20%

Preț: 1033^.45 lei
20%

Preț: 403^.00 lei
20%

Preț: 563^.29 lei
20%

Preț: 324^.19 lei
20%

Preț: 793^.92 lei
20%

Preț: 336^.86 lei
20%

Preț: 327^.36 lei
20%

Preț: 573^.45 lei
20%

Preț: 1137^.10 lei
20%

Preț: 850^.42 lei
20%

Preț: 560^.93 lei
20%

Preț: 558^.53 lei
20%

Preț: 631^.96 lei
20%

Preț: 568^.70 lei
20%

Preț: 488^.90 lei
20%

Preț: 293^.24 lei

Specificații

ISBN-13: 9783030312763
ISBN-10: 3030312763
Pagini: 388
Ilustrații: XIX, 388 p. 303 illus., 79 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.57 kg
Ediția:1st ed. 2019
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Computer Communication Networks and Telecommunications

Locul publicării:Cham, Switzerland

Cuprins

Dynamic Partial Order Reduction under the Release-Acquire Semantics.- On the Complexity of Fault-Tolerant Consensus.- Formal Verification.- Checking Causal Consistency of Distributed Databases.- Liveness in Broadcast Networks.- Formal Verification of UML State Machine Diagrams using Petri Nets.- Synthesize Models for Quantitative Analysis using Automata Learning.- Continuous vs. Discrete Asynchronous Moves: a Certified Approach for Mobile Robots on Graphs.- Distributed Systems.- Self-Stabilizing Snapshot Objects for Asynchronous Failure-Prone Networked Systems.- Self-stabilization overhead: a case study on coded atomic storage.- StakeCube: Combining Sharding and Proof-of-Stake to build Fork-free Secure Permissionless Distributed Ledgers.- Dissecting Tendermint.- CUDA-DTM: Distributed Transactional Memory for GPU Clusters.- Towards synthesis of distribued algorithms with SMT solvers.- Recoverable Mutual Exclusion with Abortability.- Security.- An Efficient network IDS for Cloud Environments Based on a Combination of Deep Learning and an Optimized Self-Adaptive Heuristic Search Algorithm.- Efficient Security Policy Management using Suspicious Rules through Access Log Analysis.- A Vaccination Game for Mitigation Active Worms Propagation in P2P Networks.- (Short Paper) How to Choose its Parents in the Tangle.- Bitcoin Security With Post Quantum Cryptography.- Concurrency.- Achieving Starvation-Freedom in Multi-Version Transactional Memory Systems.- Mutex-based Desanonymization of an Anonymous Read/Write Memory.- A Pragmatic Non-blocking Concurrent Directed Acyclic Graph.- Networks.- The Fake News Vaccine.- Distributed Online Data Aggregation in Dynamic Graphs.- A Multi-Criteria Group Decision Making Method for Big Data Storage Selection.