Issue

Dagstuhl Reports, Volume 2, Issue 7



Thumbnail PDF

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 2, Issue 7, July 2012, Complete Issue

Abstract
Dagstuhl Reports, Volume 2, Issue 7, July 2012, Complete Issue

Cite as

Dagstuhl Reports, Volume 2, Issue 7, July 2012, Complete Issue. In Dagstuhl Reports, Volume 2, Issue 7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@Article{DagRep.2.7,
  title =	{{Dagstuhl Reports, Volume 2, Issue 7, July 2012, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{2},
  number =	{7},
  editor =	{},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.7},
  URN =		{urn:nbn:de:0030-drops-39013},
  doi =		{10.4230/DagRep.2.7},
  annote =	{Keywords: Dagstuhl Reports, Volume 2, Issue 7, July 2012, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 2, Issue 7, 2012

Abstract
Table of Contents, Frontmatter

Cite as

Dagstuhl Reports, Table of Contents, Volume 2, Issue 7, 2012. In Dagstuhl Reports, Volume 2, Issue 7, pp. i-ii, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2013)


Copy BibTex To Clipboard

@Article{DagRep.2.7.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 2, Issue 7, 2012}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{2},
  number =	{7},
  editor =	{},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.7.i},
  URN =		{urn:nbn:de:0030-drops-38942},
  doi =		{10.4230/DagRep.2.7.i},
  annote =	{Keywords: Dagstuhl Reports, Table of Contents, Volume 2, Issue 7, 2012}
}
Document
AI meets Formal Software Development (Dagstuhl Seminar 12271)

Authors: Alan Bundy, Dieter Hutter, Cliff B. Jones, and J Strother Moore


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12271 ``AI meets Formal Software Development''. This seminar brought together researchers from formal methods and AI. The participants addressed the issue of how AI can aid the formal software development process, including modelling and proof. There was a pleasing number of participants from industry and this made it possible to ground the discussions on industrial-scale problems.

Cite as

Alan Bundy, Dieter Hutter, Cliff B. Jones, and J Strother Moore. AI meets Formal Software Development (Dagstuhl Seminar 12271). In Dagstuhl Reports, Volume 2, Issue 7, pp. 1-29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@Article{bundy_et_al:DagRep.2.7.1,
  author =	{Bundy, Alan and Hutter, Dieter and Jones, Cliff B. and Moore, J Strother},
  title =	{{AI meets Formal Software Development (Dagstuhl Seminar 12271)}},
  pages =	{1--29},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{7},
  editor =	{Bundy, Alan and Hutter, Dieter and Jones, Cliff B. and Moore, J Strother},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.7.1},
  URN =		{urn:nbn:de:0030-drops-37318},
  doi =		{10.4230/DagRep.2.7.1},
  annote =	{Keywords: Learning of proof processes and strategies, Theory development, Formal software development, Automated reasoning, Formal modelling, Industrial use of formal methods}
}
Document
Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272)

Authors: Peter Feiler, Jérôme Hugues, and Oleg Sokolsky


Abstract
Architectural modeling of complex embedded systems is gaining prominence in recent years, both in academia and in industry. An architectural model represents components in a distributed system as boxes with well-defined interfaces, connections between ports on component interfaces, and specifies component properties that can be used in analytical reasoning about the model. Models are hierarchically organized, so that each box can contain another system inside, with its own set of boxes and connections between them. The goal of Dagstuhl Seminar 12272 ``Architecture-Driven Semantic Analysis of Embedded Systems'' is to bring together researchers who are interested in defining precise semantics of an architecture description language and using it for building tools that generate analytical models from architectural ones, as well as generate code and configuration scripts for the system. This report documents the program and the outcomes of the presentations and working groups held during the seminar.

Cite as

Peter Feiler, Jérôme Hugues, and Oleg Sokolsky. Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272). In Dagstuhl Reports, Volume 2, Issue 7, pp. 30-55, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@Article{feiler_et_al:DagRep.2.7.30,
  author =	{Feiler, Peter and Hugues, J\'{e}r\^{o}me and Sokolsky, Oleg},
  title =	{{Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272)}},
  pages =	{30--55},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{7},
  editor =	{Feiler, Peter and Hugues, J\'{e}r\^{o}me and Sokolsky, Oleg},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.7.30},
  URN =		{urn:nbn:de:0030-drops-37343},
  doi =		{10.4230/DagRep.2.7.30},
  annote =	{Keywords: Architectu Description Language, AADL, EAST-ADL, MARTE, Verification, Validation, Analysis, Embedded Systems, Model-Driven techniques}
}
Document
Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281)

Authors: Rüdiger Kapitza, Matthias Schunter, Marc Shapiro, Paulo Verissimo, and Michael Waidner


Abstract
From July 8-13, 2012, the Dagstuhl Seminar "Security and Dependability for Federated Cloud Platforms" was held in Schloss Dagstuhl -- Leibniz Center for Informatics. During this seminar, participants presented their current research and discussed open problems in the fields of security and dependability of infrastructure clouds and their federation. The executive summary and abstracts of the talks given during the seminar are put together in this paper.

Cite as

Rüdiger Kapitza, Matthias Schunter, Marc Shapiro, Paulo Verissimo, and Michael Waidner. Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281). In Dagstuhl Reports, Volume 2, Issue 7, pp. 56-72, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@Article{kapitza_et_al:DagRep.2.7.56,
  author =	{Kapitza, R\"{u}diger and Schunter, Matthias and Shapiro, Marc and Verissimo, Paulo and Waidner, Michael},
  title =	{{Security and Dependability for Federated Cloud Platforms (Dagstuhl Seminar 12281)}},
  pages =	{56--72},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{7},
  editor =	{Kapitza, R\"{u}diger and Schunter, Matthias and Shapiro, Marc and Verissimo, Paulo and Waidner, Michael},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.7.56},
  URN =		{urn:nbn:de:0030-drops-37352},
  doi =		{10.4230/DagRep.2.7.56},
  annote =	{Keywords: Security, Cloud computing, Virtual systems, Dependability, Grid computing, Systems management}
}
Document
Database Workload Management (Dagstuhl Seminar 12282)

Authors: Shivnath Babu, Goetz Graefe, and Harumi Anne Kuno


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12282 "Database Workload Management". Dagstuhl Seminar 12282 was designed to provide a venue where researchers can engage in dialogue with industrial participants for an in-depth exploration of challenging industrial workloads, where industrial participants can challenge researchers to apply the lessons-learned from their large-scale experiments to multiple real systems, and that would facilitate the release of real workloads that can be used to drive future research, and concrete measures to evaluate and compare workload management techniques in the context of these workloads.

Cite as

Shivnath Babu, Goetz Graefe, and Harumi Anne Kuno. Database Workload Management (Dagstuhl Seminar 12282). In Dagstuhl Reports, Volume 2, Issue 7, pp. 73-91, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@Article{babu_et_al:DagRep.2.7.73,
  author =	{Babu, Shivnath and Graefe, Goetz and Kuno, Harumi Anne},
  title =	{{Database Workload Management (Dagstuhl Seminar 12282)}},
  pages =	{73--91},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{7},
  editor =	{Babu, Shivnath and Graefe, Goetz and Kuno, Harumi Anne},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.7.73},
  URN =		{urn:nbn:de:0030-drops-37511},
  doi =		{10.4230/DagRep.2.7.73},
  annote =	{Keywords: database workload management, robust query processing, cloud computing, query execution, hadoop, application availability, performance modeling}
}
Document
Structure Discovery in Biology: Motifs, Networks & Phylogenies (Dagstuhl Seminar 12291)

Authors: Alberto Apostolico, Andreas Dress, and Laxmi Parida


Abstract
From 15.07.12 to 20.07.12, the Dagstuhl Seminar 12291 "Structure Discovery in Biology: Motifs, Networks & Phylogenies" was held in Schloss Dagstuhl -- Leibniz Center for Informatics. The seminar was in part a follow-up to Dagstuhl Seminar 10231, held in June 2010, this time with a strong emphasis on large data. Both veterans and new participants took part in this edition. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar, as well as abstracts of seminar results and ideas, are put together in this report. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.

Cite as

Alberto Apostolico, Andreas Dress, and Laxmi Parida. Structure Discovery in Biology: Motifs, Networks & Phylogenies (Dagstuhl Seminar 12291). In Dagstuhl Reports, Volume 2, Issue 7, pp. 92-117, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2012)


Copy BibTex To Clipboard

@Article{apostolico_et_al:DagRep.2.7.92,
  author =	{Apostolico, Alberto and Dress, Andreas and Parida, Laxmi},
  title =	{{Structure Discovery in Biology: Motifs, Networks \& Phylogenies (Dagstuhl Seminar 12291)}},
  pages =	{92--117},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2012},
  volume =	{2},
  number =	{7},
  editor =	{Apostolico, Alberto and Dress, Andreas and Parida, Laxmi},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.7.92},
  URN =		{urn:nbn:de:0030-drops-37509},
  doi =		{10.4230/DagRep.2.7.92},
  annote =	{Keywords: mathematical biology, computational biology, algorithmic bioinformatics, pattern discovery, networks, phylogenetics, stringology}
}

Filters


Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail