Networked systems = 7th Internationa...
NETYS (Conference) (2019 :)

FindBook      Google Book      Amazon      博客來     
  • Networked systems = 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019 : revised selected papers /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Networked systems/ edited by Mohamed Faouzi Atig, Alexander A. Schwarzmann.
    其他題名: 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019 : revised selected papers /
    其他題名: NETYS 2019
    其他作者: Atig, Mohamed Faouzi.
    團體作者: NETYS (Conference)
    出版者: Cham :Springer International Publishing : : 2019.,
    面頁冊數: xix, 388 p. :ill. (some col.), digital ;24 cm.
    內容註: 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.
    Contained By: Springer eBooks
    標題: Computer networks - Congresses. -
    電子資源: https://doi.org/10.1007/978-3-030-31277-0
    ISBN: 9783030312770
館藏地:  出版年:  卷號: 
館藏
  • 1 筆 • 頁數 1 •
 
W9375447 電子資源 11.線上閱覽_V 電子書 EB TK5105.5 .N47 2019 一般使用(Normal) 在架 0
  • 1 筆 • 頁數 1 •
多媒體
評論
Export
取書館
 
 
變更密碼
登入