Paul Spirakis

Philippas Tsigas

This book constitutes the refereed proceedings of the 19th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2017, held in Boston, MA, USA, in November 2017. The 29 revised full papers presented together with 8 revised short papers were carefully reviewed and selected from 68 initial submissions. This year the Symposium was organized into three tracks reflecting major trends related to self-* systems: Stabilizing Systems: Theory and Practice: Distributed Computing and Communication Networks; and Computer Security and Information Privacy.

19th International Symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017, Proceedings

Stabilization, Safety, and Security of Distributed Systems

Samson Abramsky

Cyril Gavoille

Claude Kirchner

Friedhelm Meyer auf der Heide

The two-volume set LNCS 6198 and LNCS 6199 constitutes the refereed proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, held in Bordeaux, France, in July 2010. The 106 revised full papers (60 papers for track A, 30 for track B, and 16 for track C) presented together with 6 invited talks were carefully reviewed and selected from a total of 389 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked computation: models, algorithms and information management. LNCS 6198 contains 60 contributions of track A selected from 222 submissions as well as 2 invited talks.

37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings

Automata, Languages and Programming

Alan Gibbons

The foundations of parallel computation are the concern of this book, which may also function as a source of teaching material or reference for researchers.

Lectures in Parallel Computation

Annotation The two-volume set LNCS 6198 and LNCS 6199 constitutes the refereed proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, held in Bordeaux, France, in July 2010. The 106 revised full papers (60 papers for track A, 30 for track B, and 16 for track C) presented together with 6 invited talks were carefully reviewed and selected from a total of 389 submissions. The papers are grouped in three major tracks on algorithms, complexity and games; on logic, semantics, automata, and theory of programming; as well as on foundations of networked computation: models, algorithms and information management. LNCS 6198 contains 60 contributions of track A selected from 222 submissions as well as 2 invited talks.

37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

This book constitutes the refereed proceedings of the Second International Workshop on Internet and Network Economics, WINE 2006, held in Patras, Greece in December 2006. It contains 32 papers that contain foundational and mathematical work for solving problems in internet technologies, grid computing, network communication protocols, as well as social economic issues in virtual communities enabled through the World Wide Web.

Second International Workshop, WINE 2006, Patras, Greece, December 15-17, 2006, Proceedings

Internet and Network Economics

Elias Koutsoupias

Spyros Kontogiannis

Thepresentvolumewasdevotedto thethirdeditionofthe InternationalSym- sium on Algorithmic Game Theory (SAGT), an interdisciplinary scienti?c event intended to provide a forum for researchers as well as practitioners to exchange innovative ideas and to be aware of each other's e?orts and results. SAGT 2010 took place in Athens, on October 18–20, 2010. The present volume contains all contributed papers presented at SAGT 2010 together with the distinguished invited lectures of Amos Fiat (Tel-Aviv University, Israel), and Paul Goldberg (University of Liverpool, UK). The two invited papers are presented at the - ginning of the proceedings, while the regular papers follow in alphabetical order (by the authors' names). In response to the call for papers, the Program Committee (PC) received 61 submissions.Amongthesubmissionswerefour paperswith atleastonecoauthor that was also a PC member of SAGT 2010. For these PC-coauthored papers, anindependent subcommittee (EliasKoutsoupias,PaulG. Spirakis,andXiaotie Deng) made the judgment, and eventually two of these papers were proposedfor inclusion in the Scienti?c Program. For the remaining 57 (non-PC-coauthored) papers, the PC of SAGT 2010 conducted a thorough evaluation (at least 3, and on average 3.9 reviews per paper) and electronic discussion, and eventually selected 26 papers for inclusion in the Scienti?c Program. An additional tutorial, “Games Played in Physics”, was also provided in SAGT 2010, courtesy of the academic research network Algogames (A??o?a????o) of the University of Patras.

Paul Spirakis

About

Books

Join the club