Stabilization, safety, and security of distributed systems [electronic resource]: 9th international symposium, SSS 2007, Paris, France, November 14-16, 2007 : proceedings/

Stabilization, safety, and security of distributed systems [electronic resource]: 9th international symposium, SSS 2007, Paris, France, November 14-16, 2007 : proceedings/

57

Bibliographic Details
Main Authors:	SSS 2007 (2007 : Paris, France), Masuzawa, Toshimitsu, Tixeuil, Sebastien, SpringerLink (Online service)
Format:
Language:	eng
Published:	Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007
Subjects:	Electronic data processing Computer security Self-stabilization (Computer science)
Online Access:	http://dx.doi.org/10.1007/978-3-540-76627-8

Similar Items

Intelligent Virtual Agents [electronic resource] : 7th International Conference, IVA 2007 Paris, France, September 17-19, 2007 Proceedings /
by: IVA 2007 (2007 : Paris, France), et al.
Published: (2007)

Advances in Grid and Pervasive Computing [electronic resources]: Second International Conference, GPC 2007, Paris, France, May 2-4, 2007. Proceedings/
by: GPC 2007 (2007 : Paris, France), et al.
Published: (2007)

Programming languages and systems [electronic resource]: 5th Asian symposium, APLAS 2007, Singapore, November 29-December 1, 2007 : proceedings/
by: APLAS 2007 (2007 : Singapore), et al.
Published: (2007)

Advanced parallel processing technologies [electronic resources]: 7th international symposium, APPT 2007, Guangzhou, China, November 22-23, 2007 : proceedings/
by: APPT 2007 (2007 : Guangzhou, China), et al.
Published: (2007)

Term Rewriting and Applications [electronic resource] : 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007: Proceedings /
by: International Conference on Rewriting Techniques and Applications (18th : 2007 : Paris, France), et al.
Published: (2007)

SDL 2007: Design for Dependable Systems [electronic resource] : 13th International SDL Forum Paris, France, September 18-21, 2007 Proceedings /
by: SDL Forum (13th : 2007 : Paris, France), et al.
Published: (2007)

Task models and diagrams for user interface design [electronic resource]: 6th international workshop, TAMODIA 2007, Toulouse, France, November 7-9, 2007 : proceedings /
by: TAMODIA 2007 (2007 : Toulouse, France), et al.
Published: (2007)

Stochastic Algorithms: Foundations and Applications [electronic resource] : 4th International Symposium, SAGA 2007, Zurich, Switzerland, September 13-14, 2007: Proceedings /
by: SAGA 2007 (2007 : Zurich, Switzerland), et al.
Published: (2007)

Bioinformatics Research and Applications [electronic resource] : Third International Symposium, ISBRA 2007, Atlanta, GA, USA, May 7-10, 2007: Proceedings /
by: ISBRA 2007 (2007 : Atlanta, Ga.), et al.
Published: (2007)

Machines, Computations, and Universality [electronic resource] : 5th International Conference, MCU 2007, Orleans, France, September 10-13, 2007: Proceedings /
by: MCU 2007 (2007 : Orleans, France), et al.
Published: (2007)

Algorithms - ESA 2007 [electronic resources]: 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007: Proceedings/
by: ESA 2007 (2007 : Elat, Israel), et al.
Published: (2007)

Component-Based Software Engineering [electronic resource] : 10th International Symposium, CBSE 2007, Medford, MA, USA, July 9-11, 2007: Proceedings /
by: CBSE 2007 (2007 : Medford, Mass.), et al.
Published: (2007)

Information security and cryptology - ICISC 2007 [electronic resource]: 10th international conference, Seoul, Korea, November 29-30, 2007 : proceedings/
by: ICISC 2007 (2007 : Seoul, Korea), et al.
Published: (2007)

Abstraction, reformulation, and approximation : [electronic resources] 7th international symposium, SARA 2007, Whistler, Canada, July 18-21, 2007 : proceedings /
by: SARA 2007 (2007 : Whistler, B.C.), et al.
Published: (c200)

Haptic and audio interaction design [electronic resource] : second international workshop, HAID 2007, Seoul, South Korea, November 29-30, 2007 : proceedings /
by: HAID 2007 (2007 : Seoul, Korea), et al.
Published: (2007)

Advances in visual computing [electronic resources]: third international symposium, ISVC 2007, Lake Tahoe, NV, USA, November 26-28, 2007 : proceedings/
by: International Symposium on Visual Computing (3rd : 2007 : Lake Tahoe, Nev.), et al.
Published: (2007)

Parallel and Distributed Processing and Applications [electronic resource] : 5th International Symposium, ISPA 2007 Niagara Falls, Canada, August 29-31, 2007 Proceedings /
by: ISPA 2007 (2007 : Niagara Falls, Ont.), et al.
Published: (2007)

Dependable Computing [electronic resource]: Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007: Proceedings/
by: LADC 2007 (2007 : Morelia, Michoacan de Ocampo, Mexico), et al.
Published: (2007)

Frontiers of Combining Systems [electronic resource] : 6th International Symposium, FroCoS 2007 Liverpool, UK, September 10-12, 2007 Proceedings /
by: FroCoS 2007 (2007 : Liverpool, England), et al.
Published: (2007)

Provable security [electronic resource]: first international conference, ProvSec 2007, Wollongong, Australia, November 1-2, 2007 : proceedings/
by: ProvSec 2007 (2007 : Wollongong, N.S.W.), et al.
Published: (2007)

Online Communities and Social Computing [electronic resource] : Second International Conference, OCSC 2007, Held as Part of HCI International 2007, Beijing, China, July 22-27, 2007: Proceedings /
by: OCSC 2007 (2007 : Beijing, China), et al.
Published: (2007)

UbiComp 2007: Ubiquitous Computing [electronic resource] : 9th International Conference, UbiComp 2007, Innsbruck, Austria, September 16-19, 2007: Proceedings /
by: UbiComp 2007 (2007 : Innsbruck, Austria), et al.
Published: (2007)

Information Security [electronic resource]: 10th International Conference, ISC 2007, Valparaiso, Chile, October 9-12, 2007: Proceedings/
by: ISC 2007 (2007 : Valparaiso, Chile), et al.
Published: (2007)

Natural Language Processing and Information Systems [electronic resource] : 12th International Conference on Applications of Natural Language to Information Systems, NLDB 2007, Paris, France, June 27-29, 2007: Proceedings /
by: International Conference on Applications of Natural Language to Information Systems (12th : 2007 : Paris, France), et al.
Published: (2007)

Smart graphicsh[electronic resource]: 8th international symposium, SG 2007, Kyoto, Japan, June 25-27, 2007 : proceedings/
by: International Symposium on Smart Graphics (8th : 2007 : Kyoto, Japan), et al.
Published: (2007)

Computational science -- ICCS 2007 [electronic resource]: 7th international conference, Beijing, China, May 27-30, 2007 : proceedings/
by: ICCS 2007 (2007 : Beijing, China), et al.
Published: (2007)

Unconventional Computation [electronic resource] : 6th International Conference, UC 2007, Kingston, Canada, August 13-17, 2007: Proceedings /
by: UC 2007 (2007 : Kingston, Ont.), et al.
Published: (2007)

Embedded and ubiquitous computing [electronic resource]: international conference, EUC 2007, Taipei, Taiwan, December 17-20, 2007 : proceedings/
by: EUC 2007 (2007 : Taipei, Taiwan), et al.
Published: (2007)

String Processing and Information Retrieval [electronic resource]: 14th International Symposium, SPIRE 2007 Santiago, Chile, October 29-31, 2007 Proceedings/
by: SPIRE 2007 (2007 : Santiago, Chile), et al.
Published: (2007)

Experimental Algorithms [electronic resource] : 6th International Workshop, WEA 2007, Rome, Italy, June 6-8, 2007: Proceedings /
by: WEA 2007 (2007 : Rome, Italy), et al.
Published: (2007)

Tests and Proofs [electronic resource] : First International Conference, TAP 2007, Zurich, Switzerland, February 12-13, 2007. Revised Papers /
by: TAP 2007 (2007 : Zurich, Switzerland), et al.
Published: (2007)

Fast Software Encryption [electronic resource] : 14th International Workshop, FSE 2007, Luxembourg, Luxembourg, March 26-28, 2007, Revised Selected Papers /
by: FSE 2007 (2007 : Luxembourg, Luxembourg), et al.
Published: (2007)

Computational science -- ICCS 2007 [electronic resource]: Part I: 7th international conference, Beijing, China, May 27-30, 2007 : proceedings/
by: ICCS 2007 (2007 : Beijing, China), et al.
Published: (2007)

Computational science -- ICCS 2007 [electronic resource]: Part II: 7th international conference, Beijing, China, May 27-30, 2007 : proceedings/
by: ICCS 2007 (2007 : Beijing, China), et al.
Published: (2007)

Computational science -- ICCS 2007 [electronic resource]: Part III: 7th international conference, Beijing, China, May 27-30, 2007 : proceedings/
by: ICCS 2007 (2007 : Beijing, China), et al.
Published: (2007)

Autonomic and Trusted Computing [electronic resource] : 4th International Conference, ATC 2007, Hong Kong, China, July 11-13, 2007: Proceedings /
by: ATC 2007 (2007 : Hong Kong, China), et al.
Published: (2007)

Compiler construction [electronic resource]: 16th international conference, CC 2007, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007 : proceedings/
by: CC 2007 (2007 : Braga, Portugal), et al.
Published: (2007)

Embedded Software and Systems [electronic resource] : Third International Conference, ICESS 2007, Daegu, Korea, May 14-16, 2007: Proceedings /
by: ICESS 2007 (2007 : Daegu, Korea), et al.
Published: (2007)

Network and Parallel Computing [electronic resource] : IFIP International Conference, NPC 2007, Dalian, China, September 18-21, 2007: Proceedings /
by: NPC 2007 (2007 : Dalian Shi, China), et al.
Published: (2007)

Computer Safety, Reliability, and Security [electronic resource] : 26th International Conference, SAFECOMP 2007, Nuremberg, Germany, September 18-21, 2007: Proceedings /
by: SAFECOMP 2007 (2007 : Nuremberg, Germany), et al.
Published: (2007)