Networked Systems

7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers

Mohamed Faouzi Atig, Alexander A. Schwarzmann (Herausgeber)

Buch | Softcover

XIX, 388 Seiten

2019 | 1st ed. 2019
Springer International Publishing (Verlag)
978-3-030-31276-3 (ISBN)

Artikel merken

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.

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.

Erscheinungsdatum	15.09.2019
Reihe/Serie	Computer Communication Networks and Telecommunications
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XIX, 388 p. 303 illus., 79 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	623 g
Themenwelt	Mathematik / Informatik ► Informatik ► Netzwerke
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Informatik ► Theorie / Studium ► Künstliche Intelligenz / Robotik
	Informatik ► Weitere Themen ► Hardware
Schlagworte	Applications • Artificial Intelligence • authentication • Computer Science • conference proceedings • cryptography • Databases • Data Security • distributed algorithm • distributed computer systems • graph theory • Informatics • Microprocessor chips • Model Checking • multi core • Network Security • Parallel Algorithms • parallel processing systems • Parallel Programming • Research • Self-Stabilization • shared memories • Software engineering • Software Evaluation • transactional memory
ISBN-10	3-030-31276-3 / 3030312763
ISBN-13	978-3-030-31276-3 / 9783030312763
Zustand	Neuware