Networked Systems 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers
tarafından
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
Başlık
:
Networked Systems 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19–21, 2019, Revised Selected Papers
Yazar
:
Atig, Mohamed Faouzi. editor. (orcid)0000-0001-8229-3481
ISBN
:
9783030312770
Edisyon
:
1st ed. 2019.
Fiziksel Niteleme
:
XIX, 388 p. 303 illus., 79 illus. in color. online resource.
Seri
:
Computer Communication Networks and Telecommunications ; 11704
İçindekiler
:
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.
Özet
:
This book constitutes the revised selected papers of the 7th 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.
Konu Başlığı
:
Computer communication systems.
Software engineering.
Artificial intelligence.
Microprogramming .
Input-output equipment (Computers).
Computer Communication Networks. https://scigraph.springernature.com/ontologies/product-market-codes/I13022
Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com/ontologies/product-market-codes/I14002
Artificial Intelligence. https://scigraph.springernature.com/ontologies/product-market-codes/I21000
Control Structures and Microprogramming. https://scigraph.springernature.com/ontologies/product-market-codes/I12018
Input/Output and Data Communications. https://scigraph.springernature.com/ontologies/product-market-codes/I12042
Yazar Ek Girişi
:
Atig, Mohamed Faouzi.
Schwarzmann, Alexander A.
Ek Kurum Yazar
:
SpringerLink (Online service)
Elektronik Erişim
:
Materyal Türü | Barkod | Yer Numarası | Durumu/İade Tarihi |
---|
Electronic Book | 428227-1001 | TK5105.5 -5105.9 | Springer E-Book Collection |