Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing : 2013, Braga, Portugal : DISCCO 2013
| Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing : 2013, Braga, Portugal : DISCCO 2013 |
| Autore | Correia Miguel |
| Pubbl/distr/stampa | [Place of publication not identified], : ACM, 2013 |
| Descrizione fisica | 1 online resource (27 pages) |
| Collana | ACM Other conferences |
| Soggetto topico |
Engineering & Applied Sciences
Computer Science |
| ISBN | 1-4503-2248-4 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Altri titoli varianti |
Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing
DISCCO '13 Second International Workshop on Dependability Issues in Cloud Computing, Braga, Portugal - September 30, 2013 |
| Record Nr. | UNINA-9910375725303321 |
Correia Miguel
|
||
| [Place of publication not identified], : ACM, 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Stabilization, Safety, and Security of Distributed Systems [[electronic resource] ] : 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings / / edited by Stéphane Devismes, Neeraj Mittal
| Stabilization, Safety, and Security of Distributed Systems [[electronic resource] ] : 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings / / edited by Stéphane Devismes, Neeraj Mittal |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XI, 323 p. 45 illus., 20 illus. in color.) |
| Disciplina | 004.2 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Operating systems (Computers) Computer science—Mathematics Artificial intelligence Computer Communication Networks Operating Systems Mathematics of Computing Artificial Intelligence |
| ISBN | 3-030-64348-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement -- Invited Paper: Homomorphic Operations Techniques Yielding Communication Efficiency -- Boosting the E ciency of Byzantine-tolerant Reliable Communication -- Stand Up Indulgent Rendez-vous -- Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented & Luminous Robots with Limited Visibility -- A Discrete and Continuous Study of the Max-Chain-Formation Problem -- Reactive PLS for Distributed Decision -- k-Immediate Snapshot and x-Set Agreement: How Are They Related? -- Brief Announcement: Local Deal-Agreement Based Monotonic Distributed Algorithms for Load Balancing in General Graphs -- Silent MST approximation for tiny memory -- A Privacy-Preserving Collaborative Caching Approach in InformationCentric Networking -- A ne Tasks for k-Test-and-Set -- A Combinatorial Characterization of Self-Stabilizing Population Protocols -- Smoothed Analysis of Leader Election in Distributed Networks -- Brief Announcement: Byzantine Geoconsensus -- Brief Announcement: Veri able Data Sharing In Distributed Computing -- Fast Uniform Scattering on a Grid for Asynchronous Oblivious Robots -- Brief Announcement: Leader Election in the ADD Communication Model -- Physical Zero-Knowledge Proof for Suguru Puzzle -- Uniform deployment of mobile agents in dynamic rings -- Partial Gathering of Mobile Robots from Multiplicity-Allowed Congurations in Rings -- Efficient Dispersion of Mobile Agents without Global Knowledge -- Brief Announcement: TRIX: Low-Skew Pulse Propagation for Fault-Tolerant Hardware -- Time-Optimal Self-Stabilizing Leader Election on Rings in Population Protocols -- Brief Announcement: Effiectiveness of Code Hardening for Fault-Tolerant IoT Software. . |
| Record Nr. | UNISA-996418218503316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Stabilization, Safety, and Security of Distributed Systems : 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings / / edited by Stéphane Devismes, Neeraj Mittal
| Stabilization, Safety, and Security of Distributed Systems : 22nd International Symposium, SSS 2020, Austin, TX, USA, November 18–21, 2020, Proceedings / / edited by Stéphane Devismes, Neeraj Mittal |
| Edizione | [1st ed. 2020.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 |
| Descrizione fisica | 1 online resource (XI, 323 p. 45 illus., 20 illus. in color.) |
| Disciplina | 004.2 |
| Collana | Theoretical Computer Science and General Issues |
| Soggetto topico |
Computer networks
Operating systems (Computers) Computer science—Mathematics Artificial intelligence Computer Communication Networks Operating Systems Mathematics of Computing Artificial Intelligence |
| ISBN | 3-030-64348-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Collect in the Presence of Continuous Churn with Application to Snapshots and Lattice Agreement -- Invited Paper: Homomorphic Operations Techniques Yielding Communication Efficiency -- Boosting the E ciency of Byzantine-tolerant Reliable Communication -- Stand Up Indulgent Rendez-vous -- Brief Announcement: Gathering in Linear Time: A Closed Chain of Disoriented & Luminous Robots with Limited Visibility -- A Discrete and Continuous Study of the Max-Chain-Formation Problem -- Reactive PLS for Distributed Decision -- k-Immediate Snapshot and x-Set Agreement: How Are They Related? -- Brief Announcement: Local Deal-Agreement Based Monotonic Distributed Algorithms for Load Balancing in General Graphs -- Silent MST approximation for tiny memory -- A Privacy-Preserving Collaborative Caching Approach in InformationCentric Networking -- A ne Tasks for k-Test-and-Set -- A Combinatorial Characterization of Self-Stabilizing Population Protocols -- Smoothed Analysis of Leader Election in Distributed Networks -- Brief Announcement: Byzantine Geoconsensus -- Brief Announcement: Veri able Data Sharing In Distributed Computing -- Fast Uniform Scattering on a Grid for Asynchronous Oblivious Robots -- Brief Announcement: Leader Election in the ADD Communication Model -- Physical Zero-Knowledge Proof for Suguru Puzzle -- Uniform deployment of mobile agents in dynamic rings -- Partial Gathering of Mobile Robots from Multiplicity-Allowed Congurations in Rings -- Efficient Dispersion of Mobile Agents without Global Knowledge -- Brief Announcement: TRIX: Low-Skew Pulse Propagation for Fault-Tolerant Hardware -- Time-Optimal Self-Stabilizing Leader Election on Rings in Population Protocols -- Brief Announcement: Effiectiveness of Code Hardening for Fault-Tolerant IoT Software. . |
| Record Nr. | UNINA-9910427667503321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2020 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||