| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996466275903316 |
|
|
Titolo |
Networked Systems [[electronic resource] ] : 5th International Conference, NETYS 2017, Marrakech, Morocco, May 17-19, 2017, Proceedings / / edited by Amr El Abbadi, Benoît Garbinato |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2017 |
|
|
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2017.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (XVIII, 484 p. 111 illus.) |
|
|
|
|
|
|
Collana |
|
Computer Communication Networks and Telecommunications ; ; 10299 |
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
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) |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
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. . |
|
|
|
|
|
| |