Networked Systems - 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings

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.
 

List of contents

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

Summary

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.
 

Product details

• Assisted by: Amr El Abbadi (Editor), Benoît Garbinato (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 14.05.2017
• EAN: 9783319596464
• ISBN: 978-3-31-959646-4
• No. of pages: 484
• Dimensions: 156 mm x 26 mm x 238 mm
• Weight: 765 g
• Illustrations: XVIII, 484 p. 111 illus.
• Series: Lecture Notes in Computer Science; Computer Communication Networks and Telecommunications
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > Data communication, networks; C, Algorithmen und Datenstrukturen, Software Engineering, Algorithms, angewandte informatik, Theoretische Informatik, computer science, Information Retrieval, Information Systems Applications (incl. Internet), Logics and Meanings of Programs, Computer and Information Systems Applications, Application software, Computer Communication Networks, Algorithms & data structures, Computer programming / software engineering, Internet searching, Algorithm Analysis and Problem Complexity, Computer architecture & logic design, Computer communication systems, Computer logic, Computer Science Logic and Foundations of Programming