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

• Pubblicazione: Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017
• Edizione: 1st ed. 2017.
• Descrizione fisica: 1 online resource (XVIII, 484 p. 111 illus.)
• Disciplina: 004.6
• Soggetto topico: Computer communication systems; Algorithms; Computer logic; Software engineering; Application software; Computer Communication Networks; Algorithm Analysis and Problem Complexity; Logics and Meanings of Programs; Software Engineering; Information Systems Applications (incl. Internet)
• Persona (resp. second.): El AbbadiAmr; GarbinatoBenoît
• Nota di contenuto: Networking -- Distributed algorithms -- Atomicity -- Security and privacy -- Software engineering -- Concurrency and specifications -- Policies -- Agreement and consensus -- Clustering based techniques -- Verification.-Communication. .
• Sommario/riassunto: 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. .
• Titolo autorizzato: Networked Systems
• ISBN: 3-319-59647-0
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996466275903316
• Lo trovi qui: Univ. di Salerno
• Serie: Computer Communication Networks and Telecommunications ; ; 10299