000914801 000__ 04425cam\a2200553Ii\4500
000914801 001__ 914801
000914801 005__ 20230306150543.0
000914801 006__ m\\\\\o\\d\\\\\\\\
000914801 007__ cr\cn\nnnunnun
000914801 008__ 190925s2019\\\\sz\a\\\\o\\\\\101\0\eng\d
000914801 019__ $$a1121275701
000914801 020__ $$a9783030312770$$q(electronic book)
000914801 020__ $$a3030312771$$q(electronic book)
000914801 020__ $$z9783030312763
000914801 0247_ $$a10.1007/978-3-030-31277-0$$2doi
000914801 0247_ $$a10.1007/978-3-030-31
000914801 035__ $$aSP(OCoLC)on1120935266
000914801 035__ $$aSP(OCoLC)1120935266$$z(OCoLC)1121275701
000914801 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dLQU$$dUKMGB$$dEBLCP
000914801 049__ $$aISEA
000914801 050_4 $$aTK5105.5
000914801 08204 $$a004.6$$223
000914801 1112_ $$aNETYS (Conference)$$n(7th :$$d2019 :$$cMarrakech, Morocco)
000914801 24510 $$aNetworked systems :$$b7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised selected papers /$$cMohamed Faouzi Atig, Alexander A. Schwarzmann (eds.).
000914801 2463_ $$aNETYS 2019
000914801 264_1 $$aCham, Switzerland :$$bSpringer,$$c2019.
000914801 300__ $$a1 online resource (xix, 388 pages) :$$billustrations.
000914801 336__ $$atext$$btxt$$2rdacontent
000914801 337__ $$acomputer$$bc$$2rdamedia
000914801 338__ $$aonline resource$$bcr$$2rdacarrier
000914801 4901_ $$aLecture notes in computer science ;$$v11704
000914801 4901_ $$aLNCS sublibrary. SL 5, Computer communication networks and telecommunications
000914801 500__ $$aIncludes author index.
000914801 5050_ $$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.
000914801 506__ $$aAccess limited to authorized users.
000914801 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.
000914801 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed September 25, 2019).
000914801 650_0 $$aComputer networks$$vCongresses.
000914801 650_0 $$aWireless communication systems$$vCongresses.
000914801 650_0 $$aMobile computing$$vCongresses.
000914801 650_0 $$aCloud computing$$vCongresses.
000914801 7001_ $$aAtig, Mohamed Faouzi,$$eeditor.
000914801 7001_ $$aSchwarzmann, Alexander A.,$$eeditor.
000914801 830_0 $$aLecture notes in computer science ;$$v11704.
000914801 830_0 $$aLNCS sublibrary.$$nSL 5,$$pComputer communication networks and telecommunications.
000914801 852__ $$bebk
000914801 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-31277-0$$zOnline Access$$91397441.1
000914801 909CO $$ooai:library.usi.edu:914801$$pGLOBAL_SET
000914801 980__ $$aEBOOK
000914801 980__ $$aBIB
000914801 982__ $$aEbook
000914801 983__ $$aOnline
000914801 994__ $$a92$$bISE