Networked systems : 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised selected papers /
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...
| Corporate Author: | |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Cham, Switzerland :
Springer,
2019
|
| Series: | LNCS sublibrary Computer communication networks and telecommunications.
Lecture notes in computer science ; 11704 |
| Subjects: |
| LEADER | 06159nam a2200841Ii 4500 | ||
|---|---|---|---|
| 001 | 51356e36-d3b9-44ee-beb4-fe7e7aff3ba5 | ||
| 005 | 20240811000000.0 | ||
| 008 | 190925s2019 sz a o 101 0 eng d | ||
| 015 | |a GBB9G5894 |2 bnb | ||
| 016 | 7 | |a 019548374 |2 Uk | |
| 019 | |a 1121275701 |a 1125794774 |a 1129375400 |a 1136400876 |a 1138964333 | ||
| 020 | |a 3030312763 | ||
| 020 | |a 3030312771 |q (electronic bk.) | ||
| 020 | |a 303031278X | ||
| 020 | |a 9783030312763 | ||
| 020 | |a 9783030312770 |q (electronic bk.) | ||
| 020 | |a 9783030312787 |q (print) | ||
| 020 | |z 9783030312763 |q (print) | ||
| 024 | 7 | |a 10.1007/978-3-030-31277-0 |2 doi | |
| 024 | 8 | |a 10.1007/978-3-030-31 | |
| 035 | |a (OCoLC)1120935266 |z (OCoLC)1121275701 |z (OCoLC)1125794774 |z (OCoLC)1129375400 |z (OCoLC)1136400876 |z (OCoLC)1138964333 | ||
| 035 | |a (OCoLC)1120935266 |z (OCoLC)1121275701 |z (OCoLC)1125794774 |z (OCoLC)1129375400 |z (OCoLC)1136400876 |z (OCoLC)1138964333 | ||
| 035 | 9 | |a (OCLCCM-CC)1120935266 | |
| 037 | |a com.springer.onix.9783030312770 |b Springer Nature | ||
| 040 | |a GW5XE |b eng |e rda |e pn |c GW5XE |d LQU |d UKMGB |d EBLCP |d OCLCQ |d SFB |d OCLCF |d OCLCQ |d OCLCO |d VT2 |d OCLCQ |d COM |d OCLCO |d CSt | ||
| 040 | |a GW5XE |b eng |e rda |e pn |c GW5XE |d LQU |d UKMGB |d EBLCP |d OCLCQ |d SFB |d OCLCF |d OCLCQ |d OCLCO |d VT2 |d OCLCQ | ||
| 049 | |a MAIN | ||
| 050 | 4 | |a TK5105.5 | |
| 072 | 7 | |a COM075000 |2 bisacsh | |
| 072 | 7 | |a UKN |2 bicssc | |
| 072 | 7 | |a UKN |2 thema | |
| 082 | 0 | 4 | |a 004.6 |2 23 |
| 111 | 2 | |a NETYS (Conference) |n (7th : |d 2019 : |c Marrakech, Morocco) | |
| 245 | 1 | 0 | |a Networked systems : |b 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised selected papers / |c Mohamed Faouzi Atig, Alexander A. Schwarzmann (eds.) |
| 246 | 3 | |a NETYS 2019 | |
| 264 | 1 | |a Cham, Switzerland : |b Springer, |c 2019 | |
| 300 | |a 1 online resource (xix, 388 pages) : |b illustrations (some color) | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 347 | |a text file | ||
| 347 | |b PDF | ||
| 490 | 1 | |a LNCS sublibrary. SL 5, Computer communication networks and telecommunications | |
| 490 | 1 | |a Lecture notes in computer science ; |v 11704 | |
| 500 | |a Includes author index | ||
| 505 | 0 | |a 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 | |
| 520 | |a 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 | ||
| 588 | 0 | |a Online resource; title from PDF title page (SpringerLink, viewed September 25, 2019) | |
| 596 | |a 22 | ||
| 650 | 0 | |a Cloud computing |v Congresses | |
| 650 | 0 | |a Computer networks |v Congresses | |
| 650 | 0 | |a Mobile computing |v Congresses | |
| 650 | 0 | |a Wireless communication systems |v Congresses | |
| 650 | 6 | |a Infonuagique |v Congrès | |
| 650 | 6 | |a Informatique mobile |v Congrès | |
| 650 | 6 | |a Réseaux d'ordinateurs |v Congrès | |
| 650 | 6 | |a Transmission sans fil |v Congrès | |
| 650 | 7 | |a Cloud computing |2 fast | |
| 650 | 7 | |a Computer networks |2 fast | |
| 650 | 7 | |a Mobile computing |2 fast | |
| 650 | 7 | |a Wireless communication systems |2 fast | |
| 655 | 4 | |a Electronic books | |
| 655 | 7 | |a Conference papers and proceedings |2 fast | |
| 700 | 1 | |a Atig, Mohamed Faouzi, |e editor | |
| 700 | 1 | |a Schwarzmann, Alexander A., |e editor | |
| 776 | 0 | 8 | |i Printed edition: |z 9783030312763 |
| 776 | 0 | 8 | |i Printed edition: |z 9783030312787 |
| 830 | 0 | |a LNCS sublibrary |n SL 5, |p Computer communication networks and telecommunications. | |
| 830 | 0 | |a Lecture notes in computer science ; |v 11704 | |
| 999 | 1 | 0 | |i 51356e36-d3b9-44ee-beb4-fe7e7aff3ba5 |l a13373251 |s US-CST |m networked_systems7th_international_conference_netys_2019_marrakech_mor_____2019_______sprina________________________________________netys__conference__________________e |
| 999 | 1 | 0 | |i 51356e36-d3b9-44ee-beb4-fe7e7aff3ba5 |l 11956509 |s US-ICU |m networked_systems7th_international_conference_netys_2019_marrakech_mor_____2019_______sprina________________________________________netys__conference__________________e |
| 999 | 1 | 1 | |l a13373251 |s ISIL:US-CST |t BKS |a SUL INTERNET |b 13373251-1001 |c INTERNET RESOURCE |d ASIS |x SUL |y 13373251-1001 |p UNLOANABLE |