Stabilization, Safety, and Security of Distributed Systems [[electronic resource] ] : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings / / edited by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XXIV, 380 p. 86 illus.) |
Disciplina | 004.6 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer networks
Software engineering Application software Computer science Algorithms Data protection Computer Communication Networks Software Engineering Computer and Information Systems Applications Computer Science Logic and Foundations of Programming Data and Information Security |
ISBN | 3-319-03089-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Self-stabilization -- Fault tolerance and dependability -- Formal methods and distributed systems -- Ad-hoc, sensors, mobile agents and robot networks -- P2P, social, self-organizing, autonomic and opportunistic networks. |
Record Nr. | UNISA-996465473303316 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Stabilization, Safety, and Security of Distributed Systems : 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings / / edited by Teruo Higashino, Yoshiaki Katayama, Toshimitsu Masuzawa, Maria Potop-Butucaru, Masafumi Yamashita |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XXIV, 380 p. 86 illus.) |
Disciplina | 004.6 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Computer networks
Software engineering Application software Computer science Algorithms Data protection Computer Communication Networks Software Engineering Computer and Information Systems Applications Computer Science Logic and Foundations of Programming Data and Information Security |
ISBN | 3-319-03089-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Self-stabilization -- Fault tolerance and dependability -- Formal methods and distributed systems -- Ad-hoc, sensors, mobile agents and robot networks -- P2P, social, self-organizing, autonomic and opportunistic networks. |
Record Nr. | UNINA-9910739411703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2013 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|