Issue
Dagstuhl Reports, Volume 2, Issue 7
-
Part of:
Volume:
Dagstuhl Reports, Volume 2
Journal: Dagstuhl Reports (DagRep)
Publication Details
- published at: 2013-01-10
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- DBLP: db/journals/dagstuhl-reports/dagstuhl-reports2
Access Numbers
- Detailed Access Statistics available here
-
Total Document Accesses (updated on a weekly basis):
0PDF Downloads
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, 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},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.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, 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},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.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)
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-dev.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)
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-dev.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)
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-dev.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)
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-dev.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)
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-dev.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}
}