Imaxe de Portada

Stabilization, Safety, and Security of Distributed Systems 26th International Symposium, SSS 2024, Nagoya, Japan, October 20–22, 2024, Proceedings /

This book constitutes the proceedings of the 26th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2024, held in Nagoya, Japan, during October 20-22, 2024. The 22 full and 4 invited papers as well as 6 short papers included in this book were carefully review...

Descrición completa

Gardado en:

Detalles Bibliográficos
Autor Corporativo:	SpringerLink (Online service)
Outros autores:	Masuzawa, Toshimitsu (Editor), Katayama, Yoshiaki (Editor), Kakugawa, Hirotsugu (Editor), Nakamura, Junya (Editor), Kim, Yonghwan (Editor)
Formato:	Electrónico eBook
Idioma:	inglés
Publicado:	Cham : Springer Nature Switzerland : Imprint: Springer, 2025.
Edición:	1st ed. 2025.
Series:	Lecture Notes in Computer Science, 14931
Subjects:	Computer networks . Robotics. Software engineering. Operating systems (Computers). Microprogramming . Data structures (Computer science). Information theory. Computer Communication Networks. Software Engineering. Operating Systems. Control Structures and Microprogramming. Data Structures and Information Theory.
Acceso en liña:	https://doi.org/10.1007/978-3-031-74498-3
Tags:	Engadir etiqueta Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!

Títulos similares

Computer Safety, Reliability, and Security 42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings /
Publicado: (2023)

Transactions on Petri Nets and Other Models of Concurrency XVII
Publicado: (2024)

Fundamentals of Software Engineering 11th IFIP WG 2.2 International Conference, FSEN 2025, Västerås, Sweden, April 7–8, 2025, Proceedings /
Publicado: (2025)

Fundamentals of Software Engineering 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers /
Publicado: (2023)

Computer Safety, Reliability, and Security 43rd International Conference, SAFECOMP 2024, Florence, Italy, September 18–20, 2024, Proceedings /
Publicado: (2024)

Software Engineering and Formal Methods 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings /
Publicado: (2025)

Guide to Computer Processor Architecture A RISC-V Approach, with High-Level Synthesis /
por: Goossens, Bernard
Publicado: (2023)

Software Engineering and Formal Methods 21st International Conference, SEFM 2023, Eindhoven, The Netherlands, November 6-10, 2023, Proceedings /
Publicado: (2023)

High Performance Computing. ISC High Performance 2024 International Workshops Hamburg, Germany, May 12–16, 2024, Revised Selected Papers /
Publicado: (2025)

Innovative Intelligent Industrial Production and Logistics First International Conference, IN4PL 2020, Virtual Event, November 2-4, 2020, and Second International Conference, IN4PL 2021, Virtual Event, October 25-27, 2021, Revised Selected Papers /
Publicado: (2023)

Distributed Applications and Interoperable Systems 24th IFIP WG 6.1 International Conference, DAIS 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings /
Publicado: (2024)

Structured Object-Oriented Formal Language and Method 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised Selected Papers /
Publicado: (2023)

Distributed Applications and Interoperable Systems 25th IFIP WG 6.1 International Conference, DAIS 2025, Held as Part of the 20th International Federated Conference on Distributed Computing Techniques, DisCoTec 2025, Lille, France, June 16–20, 2025, Proceedings /
Publicado: (2025)

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 – July 4, 2024, Proceedings, Part I /
Publicado: (2025)

Embedded Computer Systems: Architectures, Modeling, and Simulation 24th International Conference, SAMOS 2024, Samos, Greece, June 29 – July 4, 2024, Proceedings, Part II /
Publicado: (2025)

Advances in Model and Data Engineering in the Digitalization Era MEDI 2023 Short and Workshop Papers, Sousse, Tunisia, November 2–4, 2023, Proceedings /
Publicado: (2024)

Parallel Computational Technologies 17th International Conference, PCT 2023, Saint Petersburg, Russia, March 28–30, 2023, Revised Selected Papers /
Publicado: (2023)

Embedded Computer Systems: Architectures, Modeling, and Simulation 23rd International Conference, SAMOS 2023, Samos, Greece, July 2–6, 2023, Proceedings /
Publicado: (2023)

Digital-for-Development: Enabling Transformation, Inclusion and Sustainability Through ICTs 12th International Development Informatics Association Conference, IDIA 2022, Mbombela, South Africa, November 22–25, 2022, Revised Selected Papers /
Publicado: (2023)

Parallel Computing Technologies 17th International Conference, PaCT 2023, Astana, Kazakhstan, August 21–25, 2023, Proceedings /
Publicado: (2023)

Advances in Practical Applications of Agents, Multi-Agent Systems, and Digital Twins: The PAAMS Collection 22nd International Conference, PAAMS 2024, Salamanca, Spain, June 26–28, 2024, Proceedings /
Publicado: (2025)

Cellular Automata 16th International Conference on Cellular Automata for Research and Industry, ACRI 2024, Florence, Italy, September 9–11, 2024, Proceedings /
Publicado: (2024)

Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7–8, 2024, Proceedings, Part I /
Publicado: (2025)

Network and Parallel Computing 20th IFIP WG 10.3 International Conference, NPC 2024, Haikou, China, December 7–8, 2024, Proceedings, Part II /
Publicado: (2025)

Emerging Technologies for Developing Countries 5th EAI International Conference, AFRICATEK 2022, Bloemfontein, South Africa, December 5-7, 2022, Proceedings /
Publicado: (2023)

Emerging Technologies for Developing Countries 6th EAI International Conference, AFRICATEK 2023, Arusha, Tanzania, December 11–13, 2023, Proceedings /
Publicado: (2024)

Information and Communication Technologies 12th Ecuadorian Conference, TICEC 2024, Loja, Ecuador, October 16–18, 2024, Proceedings /
Publicado: (2025)

Future Access Enablers for Ubiquitous and Intelligent Infrastructures 8th EAI International Conference, FABULOUS 2024, Zagreb, Croatia, May 9–10, 2024, Proceedings /
Publicado: (2025)

Information and Communication Technologies 11th Ecuadorian Conference, TICEC 2023, Cuenca, Ecuador, October 18–20, 2023, Proceedings /
Publicado: (2023)

Future Access Enablers for Ubiquitous and Intelligent Infrastructures 7th EAI International Conference, FABULOUS 2023, Bratislava, Slovakia, October 24–26, 2023, Proceedings /
Publicado: (2024)

Digital Transformation in Governance and Society 7th International Conference, DTGS 2024, St Petersburg, Russia, June 24–26, 2024, Revised Selected Papers /
Publicado: (2025)

Information Security and Cryptology – ICISC 2024 27th International Conference, Seoul, South Korea, November 20–22, 2024, Revised Selected Papers /
Publicado: (2025)

Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23–24, 2024, Revised Selected Papers, Part II /
Publicado: (2025)

Supercomputing 10th Russian Supercomputing Days, RuSCDays 2024, Moscow, Russia, September 23–24, 2024, Revised Selected Papers, Part I /
Publicado: (2025)

Software Technologies 18th International Conference, ICSOFT 2023, Rome, Italy, July 10–12, 2023, Revised Selected Papers /
Publicado: (2024)

Advances in Practical Applications of Agents, Multi-Agent Systems, and Cognitive Mimetics. The PAAMS Collection 21st International Conference, PAAMS 2023, Guimarães, Portugal, July 12–14, 2023, Proceedings /
Publicado: (2023)

Pervasive Computing Technologies for Healthcare 16th EAI International Conference, PervasiveHealth 2022, Thessaloniki, Greece, December 12-14, 2022, Proceedings /
Publicado: (2023)

Structural Information and Communication Complexity 31st International Colloquium, SIROCCO 2024, Vietri sul Mare, Italy, May 27–29, 2024, Proceedings /
Publicado: (2024)

Service-Oriented Computing – ICSOC 2022 Workshops ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 – December 2, 2022 Proceedings /
Publicado: (2023)

Service-Oriented Computing – ICSOC 2023 Workshops AI-PA, ASOCA, SAPD, SQS, SSCOPE, WESOACS and Satellite Events, Rome, Italy, November 28-December 1, 2023, Revised Selected Papers /
Publicado: (2024)