skip to content
Networked systems : 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised selected papers Preview this item
ClosePreview this item
Checking...

Networked systems : 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised selected papers

Author: Mohamed Faouzi Atig; Alexander A Schwarzmann
Publisher: Cham, Switzerland : Springer, 2019.
Series: Lecture notes in computer science, 11704.; LNCS sublibrary., SL 5,, Computer communication networks and telecommunications.
Edition/Format:   eBook : Document : Conference publication : EnglishView all editions and formats
Summary:
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.
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy online

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Electronic books
Conference papers and proceedings
Congresses
Additional Physical Format: Printed edition:
Printed edition:
Material Type: Conference publication, Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Mohamed Faouzi Atig; Alexander A Schwarzmann
ISBN: 9783030312770 3030312771 3030312763 9783030312763 9783030312787 303031278X
OCLC Number: 1120935266
Notes: Includes author index.
Description: 1 online resource (xix, 388 pages) : illustrations (some color)
Contents: 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.
Series Title: Lecture notes in computer science, 11704.; LNCS sublibrary., SL 5,, Computer communication networks and telecommunications.
Other Titles: NETYS 2019
Responsibility: Mohamed Faouzi Atig, Alexander A. Schwarzmann (eds.).

Abstract:

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  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/1120935266> # Networked systems : 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised selected papers
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
    library:oclcnum "1120935266" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/sz> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/9546122750#Topic/cloud_computing> ; # Cloud computing
    schema:about <http://dewey.info/class/004.6/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/9546122750#Topic/wireless_communication_systems> ; # Wireless communication systems
    schema:about <http://experiment.worldcat.org/entity/work/data/9546122750#Topic/computer_networks> ; # Computer networks
    schema:about <http://experiment.worldcat.org/entity/work/data/9546122750#Topic/mobile_computing> ; # Mobile computing
    schema:alternateName "NETYS 2019" ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://experiment.worldcat.org/entity/work/data/9546122750#Meeting/netys_conference_7th_2019_marrakech_morocco> ; # NETYS (Conference) (7th : 2019 : Marrakech, Morocco)
    schema:datePublished "2019" ;
    schema:description "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."@en ;
    schema:description "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."@en ;
    schema:editor <http://experiment.worldcat.org/entity/work/data/9546122750#Person/atig_mohamed_faouzi> ; # Mohamed Faouzi Atig
    schema:editor <http://experiment.worldcat.org/entity/work/data/9546122750#Person/schwarzmann_alexander_a> ; # Alexander A. Schwarzmann
    schema:exampleOfWork <http://worldcat.org/entity/work/id/9546122750> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Electronic books"@en ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9546122750#Series/lncs_sublibrary_sl_5_computer_communication_networks_and_telecommunications> ; # LNCS sublibrary. SL 5, Computer communication networks and telecommunications
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9546122750#Series/lncs_sublibrary> ; # LNCS sublibrary.
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/9546122750#Series/lecture_notes_in_computer_science> ; # Lecture notes in computer science ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/9546122750#CreativeWork/> ;
    schema:name "Networked systems : 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised selected papers"@en ;
    schema:productID "1120935266" ;
    schema:url <https://doi.org/10.1007/978-3-030-31277-0> ;
    schema:url <https://public.ebookcentral.proquest.com/choice/publicfullrecord.aspx?p=5924438> ;
    schema:url <https://link.springer.com/10.1007/978-3-030-31277-0> ;
    schema:workExample <http://dx.doi.org/10.1007/978-3-030-31277-0> ;
    schema:workExample <http://worldcat.org/isbn/9783030312763> ;
    schema:workExample <http://worldcat.org/isbn/9783030312787> ;
    schema:workExample <http://worldcat.org/isbn/9783030312770> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GBB9G5894> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/1120935266> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/9546122750#Meeting/netys_conference_7th_2019_marrakech_morocco> # NETYS (Conference) (7th : 2019 : Marrakech, Morocco)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/9546122750#Place/marrakech_morocco> ; # Marrakech, Morocco)
    schema:name "NETYS (Conference) (7th : 2019 : Marrakech, Morocco)" ;
    .

<http://experiment.worldcat.org/entity/work/data/9546122750#Person/atig_mohamed_faouzi> # Mohamed Faouzi Atig
    a schema:Person ;
    schema:familyName "Atig" ;
    schema:givenName "Mohamed Faouzi" ;
    schema:name "Mohamed Faouzi Atig" ;
    .

<http://experiment.worldcat.org/entity/work/data/9546122750#Person/schwarzmann_alexander_a> # Alexander A. Schwarzmann
    a schema:Person ;
    schema:familyName "Schwarzmann" ;
    schema:givenName "Alexander A." ;
    schema:name "Alexander A. Schwarzmann" ;
    .

<http://experiment.worldcat.org/entity/work/data/9546122750#Place/marrakech_morocco> # Marrakech, Morocco)
    a schema:Place ;
    schema:name "Marrakech, Morocco)" ;
    .

<http://experiment.worldcat.org/entity/work/data/9546122750#Series/lecture_notes_in_computer_science> # Lecture notes in computer science ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1120935266> ; # Networked systems : 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised selected papers
    schema:name "Lecture notes in computer science ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/9546122750#Series/lncs_sublibrary> # LNCS sublibrary.
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1120935266> ; # Networked systems : 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised selected papers
    schema:name "LNCS sublibrary." ;
    .

<http://experiment.worldcat.org/entity/work/data/9546122750#Series/lncs_sublibrary_sl_5_computer_communication_networks_and_telecommunications> # LNCS sublibrary. SL 5, Computer communication networks and telecommunications
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/1120935266> ; # Networked systems : 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised selected papers
    schema:name "LNCS sublibrary. SL 5, Computer communication networks and telecommunications" ;
    .

<http://experiment.worldcat.org/entity/work/data/9546122750#Topic/computer_networks> # Computer networks
    a schema:Intangible ;
    schema:name "Computer networks"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/9546122750#Topic/wireless_communication_systems> # Wireless communication systems
    a schema:Intangible ;
    schema:name "Wireless communication systems"@en ;
    .

<http://worldcat.org/entity/work/data/9546122750#CreativeWork/>
    a schema:CreativeWork ;
    schema:description "Printed edition:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/1120935266> ; # Networked systems : 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised selected papers
    .

<http://worldcat.org/isbn/9783030312763>
    a schema:ProductModel ;
    schema:isbn "3030312763" ;
    schema:isbn "9783030312763" ;
    .

<http://worldcat.org/isbn/9783030312770>
    a schema:ProductModel ;
    schema:isbn "3030312771" ;
    schema:isbn "9783030312770" ;
    .

<http://worldcat.org/isbn/9783030312787>
    a schema:ProductModel ;
    schema:isbn "303031278X" ;
    schema:isbn "9783030312787" ;
    .

<http://www.worldcat.org/title/-/oclc/1120935266>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/1120935266> ; # Networked systems : 7th International Conference, NETYS 2019, Marrakech, Morocco, June 19-21, 2019, Revised selected papers
    schema:dateModified "2020-01-18" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.