Networked Systems 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings / [electronic resource] :
edited by Amr El Abbadi, Benoît Garbinato.
- 1st ed. 2017.
- XVIII, 484 p. 111 illus. online resource.
- Computer Communication Networks and Telecommunications, 10299 2945-9184 ; .
- Computer Communication Networks and Telecommunications, 10299 .
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. .
9783319596471
10.1007/978-3-319-59647-1 doi
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 Applications.
TK5105.5-5105.9
004.6
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. .
9783319596471
10.1007/978-3-319-59647-1 doi
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 Applications.
TK5105.5-5105.9
004.6