Normal view MARC view ISBD view

Networked Systems [electronic resource] : 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings / edited by Amr El Abbadi, Benoît Garbinato.

Contributor(s): El Abbadi, Amr [editor.] | Garbinato, Benoît [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Computer Communication Networks and Telecommunications: 10299Publisher: Cham : Springer International Publishing : Imprint: Springer, 2017Edition: 1st ed. 2017.Description: XVIII, 484 p. 111 illus. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783319596471.Subject(s): Computer networks  | Algorithms | Computer science | Software engineering | Application software | Computer Communication Networks | Algorithms | Computer Science Logic and Foundations of Programming | Software Engineering | Computer and Information Systems ApplicationsAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 004.6 Online resources: Click here to access online
Contents:
Networking -- Distributed algorithms -- Atomicity -- Security and privacy -- Software engineering -- Concurrency and specifications -- Policies -- Agreement and consensus -- Clustering based techniques -- Verification.-Communication. .
In: Springer Nature eBookSummary: This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on Networked Systems, NETYS 2017, held in Marrakech, Morocco, in May 2017. The 28 full and 6 short papers presented together with 3 keynotes were carefully reviewed and selected from 81 submissions. They are organized around the following topics: networking; distributed algorithms; atomicity; security and privacy; software engineering; concurrency and specifications; policies; agreement and consensus; clustering based techniques; verification; communication. .
    average rating: 0.0 (0 votes)
No physical items for this record

Networking -- Distributed algorithms -- Atomicity -- Security and privacy -- Software engineering -- Concurrency and specifications -- Policies -- Agreement and consensus -- Clustering based techniques -- Verification.-Communication. .

This book constitutes the thoroughly refereed conference proceedings of the 5th International Conference on Networked Systems, NETYS 2017, held in Marrakech, Morocco, in May 2017. The 28 full and 6 short papers presented together with 3 keynotes were carefully reviewed and selected from 81 submissions. They are organized around the following topics: networking; distributed algorithms; atomicity; security and privacy; software engineering; concurrency and specifications; policies; agreement and consensus; clustering based techniques; verification; communication. .

There are no comments for this item.

Log in to your account to post a comment.