000 04639nam a22006015i 4500
001 978-3-030-31277-0
003 DE-He213
005 20240730200549.0
007 cr nn 008mamaa
008 190913s2019 sz | s |||| 0|eng d
020 _a9783030312770
_9978-3-030-31277-0
024 7 _a10.1007/978-3-030-31277-0
_2doi
050 4 _aTK5105.5-5105.9
072 7 _aUKN
_2bicssc
072 7 _aCOM043000
_2bisacsh
072 7 _aUKN
_2thema
082 0 4 _a004.6
_223
245 1 0 _aNetworked Systems
_h[electronic resource] :
_b7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised Selected Papers /
_cedited by Mohamed Faouzi Atig, Alexander A. Schwarzmann.
250 _a1st ed. 2019.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2019.
300 _aXIX, 388 p. 303 illus., 79 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aComputer Communication Networks and Telecommunications,
_x2945-9184 ;
_v11704
505 0 _aDynamic 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.
520 _aThis 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.
650 0 _aComputer networks .
_931572
650 0 _aSoftware engineering.
_94138
650 0 _aArtificial intelligence.
_93407
650 0 _aMicroprogramming .
_932081
650 0 _aComputer input-output equipment.
_922942
650 1 4 _aComputer Communication Networks.
_9163898
650 2 4 _aSoftware Engineering.
_94138
650 2 4 _aArtificial Intelligence.
_93407
650 2 4 _aControl Structures and Microprogramming.
_932083
650 2 4 _aInput/Output and Data Communications.
_937326
700 1 _aAtig, Mohamed Faouzi.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9163899
700 1 _aSchwarzmann, Alexander A.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9163900
710 2 _aSpringerLink (Online service)
_9163901
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783030312763
776 0 8 _iPrinted edition:
_z9783030312787
830 0 _aComputer Communication Networks and Telecommunications,
_x2945-9184 ;
_v11704
_9163902
856 4 0 _uhttps://doi.org/10.1007/978-3-030-31277-0
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c96117
_d96117