Networked Systems

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

Amr El Abbadi, Benoît Garbinato (Herausgeber)

Buch | Softcover

XVIII, 484 Seiten

2017 | 1st ed. 2017
Springer International Publishing (Verlag)
978-3-319-59646-4 (ISBN)

Artikel merken

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.

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

Erscheinungsdatum	08.06.2017
Reihe/Serie	Computer Communication Networks and Telecommunications
Reihe/Serie	Lecture Notes in Computer Science
Zusatzinfo	XVIII, 484 p. 111 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	765 g
Themenwelt	Mathematik / Informatik ► Informatik ► Netzwerke
Schlagworte	Algorithm analysis and problem complexity • Algorithms & Data Structures • Algorithms & data structures • Applications • Cloud Systems • computer architecture & logic design • Computer architecture & logic design • Computer Communication Networks • Computer Networks • Computer programming / software engineering • Computer Science • concurrent algorithms • conference proceedings • distributed algorithms • Distributed Systems • event-based systems • fault tolerance • formal methods • heterogenous networks • Informatics • Information Retrieval • information systems applications (incl. internet) • Internet Searching • Logics and meanings of programs • Models of Computation • network hardware • Parallel Systems • Program verification • Research • Security and Privacy • Self-Stabilizing Systems • Software engineering • Web-based Architectures
ISBN-10	3-319-59646-2 / 3319596462
ISBN-13	978-3-319-59646-4 / 9783319596464
Zustand	Neuware