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 |