Cargando…

Stabilization, Safety, and Security of Distributed Systems 15th International Symposium, SSS 2013, Osaka, Japan, November 13-16, 2013. Proceedings /

This book constitutes the thoroughly refereed proceedings of the 15 International Symposium on Stabilization, Safety and Security of Distributed Systems, SSS 2013, held in Osaka, Japan, in November 2013. The 23 regular papers and 12 short papers presented were carefully reviewed and selected from 68...

Descripción completa

Detalles Bibliográficos
Clasificación:	Libro Electrónico
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Higashino, Teruo (Editor ), Katayama, Yoshiaki (Editor ), Masuzawa, Toshimitsu (Editor ), Potop-Butucaru, Maria (Editor ), Yamashita, Masafumi (Editor )
Formato:	Electrónico eBook
Idioma:	Inglés
Publicado:	Cham : Springer International Publishing : Imprint: Springer, 2013.
Edición:	1st ed. 2013.
Colección:	Theoretical Computer Science and General Issues, 8255
Temas:	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.
Acceso en línea:	Texto Completo

Ejemplares similares

Stabilization, Safety, and Security of Distributed Systems 16th International Symposium, SSS 2014, Paderborn, Germany, September 28 -- October 1, 2014. Proceedings /
Publicado: (2014)

Stabilization, Safety, and Security of Distributed Systems 14th International Symposium, SSS 2012, Toronto, Canada, October 1-4, 2012, Proceedings /
Publicado: (2012)

Stabilization, Safety, and Security of Distributed Systems 17th International Symposium, SSS 2015, Edmonton, AB, Canada, August 18-21, 2015, Proceedings /
Publicado: (2015)

Stabilization, Safety, and Security of Distributed Systems 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings /
Publicado: (2016)

Graphical Models for Security Second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015, Revised Selected Papers /
Publicado: (2016)

Computer Safety, Reliability, and Security 33rd International Conference, SAFECOM 2014, Florence, Italy, September 10-12, 2014. Proceedings /
Publicado: (2014)

Distributed Computing and Networking 14th International Conference, ICDCN 2013, Mumbai, India, January 3-6, 2013. Proceedings /
Publicado: (2013)

Computer Safety, Reliability, and Security 34th International Conference, SAFECOMP 2015, Delft, The Netherlands, September 23-25, 2015, Proceedings /
Publicado: (2015)

Computer Safety, Reliability, and Security 35th International Conference, SAFECOMP 2016, Trondheim, Norway, September 21-23, 2016, Proceedings /
Publicado: (2016)

Theory, Practice, and Applications of Rules on the Web 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013, Proceedings /
Publicado: (2013)

Distributed Computing 30th International Symposium, DISC 2016, Paris, France, September 27-29, 2016. Proceedings /
Publicado: (2016)

Internet and Distributed Computing Systems 6th International Conference, IDCS 2013, Hangzhou, China, October 28-30, 2013, Proceedings /
Publicado: (2013)

Web Reasoning and Rule Systems 7th International Conference, RR 2013, Mannheim, Germany, July 27-29, 2013, Proceedings /
Publicado: (2013)

Networked Systems 4th International Conference, NETYS 2016, Marrakech, Morocco, May 18-20, 2016, Revised Selected Papers /
Publicado: (2016)

Distributed Computing and Networking 15th International Conference, ICDCN 2014, Coimbatore, India, January 4-7, 2014, Proceedings /
Publicado: (2014)

Distributed Computing and Networking 13th International Conference, ICDCN 2012, Hong Kong, China, January 3-6, 2012, Proceedings /
Publicado: (2012)

Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings /
Publicado: (2006)

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /
Publicado: (2008)

Distributed Computing and Networking 12th International Conference, ICDCN 2011, Bangalore, India, January 2-5, 2011, Proceedings /
Publicado: (2011)

Distributed Computing and Networking 10th International Conference, ICDCN 2009, Hyderabad, India, January 3-6, 2009, Proceedings /
Publicado: (2009)

Internet and Distributed Computing Systems 5th International Conference, IDCS 2012, Wuyishan, Fujian, China, November 21-23, 2012, Proceedings /
Publicado: (2012)

Advances in Rule Interchange and Applications International Symposium, RuleML 2007, Orlando, Florida, October 25-26, 2007, Proceedings /
Publicado: (2007)

Programming Languages with Applications to Biology and Security Essays Dedicated to Pierpaolo Degano on the Occasion of His 65th Birthday /
Publicado: (2015)

Software Architecture 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013, Proceedings /
Publicado: (2013)

Internet and Distributed Computing Systems 8th International Conference, IDCS 2015, Windsor, UK, September 2-4, 2015. Proceedings /
Publicado: (2015)

Internet and Distributed Computing Systems 7th International Conference, IDCS 2014, Calabria, Italy, September 22-24, 2014, Proceedings /
Publicado: (2014)

Research in Attacks, Intrusions, and Defenses 18th International Symposium, RAID 2015, Kyoto, Japan,November 2-4, 2015. Proceedings /
Publicado: (2015)

Cyber Physical Systems. Design, Modeling, and Evaluation 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings /
Publicado: (2015)

Computer Performance Engineering 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, The English Lake District, October 12-13,2011, Proceedings /
Publicado: (2011)

Computational Science and Its Applications -- ICCSA 2013 13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part III /
Publicado: (2013)

Computational Science and Its Applications -- ICCSA 2013 13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part V /
Publicado: (2013)

Computational Science and Its Applications -- ICCSA 2013 13th International Conference, ICCSA 2013, Ho Chi Minh City, Vietnam, June 24-27, 2013, Proceedings, Part IV /
Publicado: (2013)

Software Architecture 5th European Conference, ECSA 2011, Essen, Germany, September 13-16, 2011. Proceedings /
Publicado: (2011)

Computational Science and Its Applications -- ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part I /
Publicado: (2013)

Computational Science and Its Applications -- ICCSA 2013 13th International Conference, Ho Chi Minh City, Vietnam, July 24-27, 2013, Proceedings, Part II /
Publicado: (2013)

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part II /
Publicado: (2010)

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part I /
Publicado: (2010)

Models of Strategic Reasoning Logics, Games, and Communities /
Publicado: (2015)

Multiple Access Communications 6th International Workshop, MACOM 2013, Vilnius, Lithuania, December 16-17, 2013, Proceedings /
Publicado: (2013)

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /
Publicado: (2008)

Cannot write session to /tmp/vufind_sessions/sess_kgaqsgpkdqpmk5i6qdrql5re4b