Issue
Dagstuhl Reports, Volume 2, Issue 8
-
Part of:
Volume:
Dagstuhl Reports, Volume 2
Journal: Dagstuhl Reports (DagRep)
Event
Dagstuhl Seminars 12321, 12331, 12341, 12342, 12352Publication Details
- published at: 2013-02-11
- 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 8, August 2012, Complete Issue
Abstract
Dagstuhl Reports, Volume 2, Issue 8, August 2012, Complete Issue
Cite as
Dagstuhl Reports, Volume 2, Issue 8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
Copy BibTex To Clipboard
@Article{DagRep.2.8,
title = {{Dagstuhl Reports, Volume 2, Issue 8, August 2012, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {2},
number = {8},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.8},
URN = {urn:nbn:de:0030-drops-39115},
doi = {10.4230/DagRep.2.8},
annote = {Keywords: Dagstuhl Reports, Volume 2, Issue 8, August 2012, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 2, Issue 8, 2012
Abstract
Table of Contents, Frontmatter
Cite as
Dagstuhl Reports, Volume 2, Issue 8, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
Copy BibTex To Clipboard
@Article{DagRep.2.8.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 2, Issue 8, 2012}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {2},
number = {8},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.8.i},
URN = {urn:nbn:de:0030-drops-39105},
doi = {10.4230/DagRep.2.8.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 2, Issue 8, 2012}
}
Document
Robust Query Processing (Dagstuhl Seminar 12321)
Abstract
The 2012 Dagstuhl 12321 Workshop on Robust Query Processing, held from
5--10 August 2012, brought together researchers from both academia and
industry to discuss various aspects of robustness in database
management systems and ideas for future research. The Workshop was
designed as a sequel to an earlier Workshop, Dagstuhl Workshop 10381,
that studied a similar set of topics. In this article we summarize
some of the main discussion topics of the 12321 Workshop, the results
to date, and some open problems that remain.
Cite as
Goetz Graefe, Wey Guy, Harumi Anne Kuno, and Glenn Paullley. Robust Query Processing (Dagstuhl Seminar 12321). In Dagstuhl Reports, Volume 2, Issue 8, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
Copy BibTex To Clipboard
@Article{graefe_et_al:DagRep.2.8.1,
author = {Graefe, Goetz and Guy, Wey and Kuno, Harumi Anne and Paullley, Glenn},
title = {{Robust Query Processing (Dagstuhl Seminar 12321)}},
pages = {1--15},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {2},
number = {8},
editor = {Graefe, Goetz and Guy, Wey and Kuno, Harumi Anne and Paullley, Glenn},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.8.1},
URN = {urn:nbn:de:0030-drops-37541},
doi = {10.4230/DagRep.2.8.1},
annote = {Keywords: robust query processing, adaptive query optimization, query execution, indexing, workload management, reliability, application availability}
}
Document
Mobility Data Mining and Privacy (Dagstuhl Seminar 12331)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar
12331 "Mobility Data Mining and Privacy". Mobility data mining aims to extract knowledge from movement behaviour of people, but this data also poses novel privacy risks. This seminar gathered a multidisciplinary team for a conversation on how to balance the value in mining mobility data with privacy issues. The seminar focused on four key issues: Privacy in vehicular data, in cellular data, context-dependent privacy, and use of location uncertainty to provide privacy.
Cite as
Christopher W. Clifton, Bart Kuijpers, Katharina Morik, and Yucel Saygin. Mobility Data Mining and Privacy (Dagstuhl Seminar 12331). In Dagstuhl Reports, Volume 2, Issue 8, pp. 16-53, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
Copy BibTex To Clipboard
@Article{clifton_et_al:DagRep.2.8.16,
author = {Clifton, Christopher W. and Kuijpers, Bart and Morik, Katharina and Saygin, Yucel},
title = {{Mobility Data Mining and Privacy (Dagstuhl Seminar 12331)}},
pages = {16--53},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {2},
number = {8},
editor = {Clifton, Christopher W. and Kuijpers, Bart and Morik, Katharina and Saygin, Yucel},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.8.16},
URN = {urn:nbn:de:0030-drops-37822},
doi = {10.4230/DagRep.2.8.16},
annote = {Keywords: Privacy, Mobility, Cellular, Vehicular Data}
}
Document
Verifying Reliability (Dagstuhl Seminar 12341)
Abstract
Moore's law has been the driving force behind the increasing computing power of today's devices which is based on shrinking feature sizes. This shrinking process makes future devices extremely susceptible to soft errors due to, e.g., external influences like environmental radiation and internal issues like stress effects, aging and process variation. For future technology nodes "Designing reliable systems from unreliable components".
Cite as
Görschwin Fey, Masahiro Fujita, Natasa Miskov-Zivanov, Kaushik Roy, and Matteo Sonza Reorda. Verifying Reliability (Dagstuhl Seminar 12341). In Dagstuhl Reports, Volume 2, Issue 8, pp. 54-73, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
Copy BibTex To Clipboard
@Article{fey_et_al:DagRep.2.8.57,
author = {Fey, G\"{o}rschwin and Fujita, Masahiro and Miskov-Zivanov, Natasa and Roy, Kaushik and Sonza Reorda, Matteo},
title = {{Verifying Reliability (Dagstuhl Seminar 12341)}},
pages = {54--73},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {2},
number = {8},
editor = {Fey, G\"{o}rschwin and Fujita, Masahiro and Miskov-Zivanov, Natasa and Roy, Kaushik and Sonza Reorda, Matteo},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.8.57},
URN = {urn:nbn:de:0030-drops-37830},
doi = {10.4230/DagRep.2.8.57},
annote = {Keywords: Reliability, fault modeling, formal methods}
}
Document
Engineering Multi-Agent Systems (Dagstuhl Seminar 12342)
Abstract
This report documents the programme and outcomes of Dagstuhl Seminar 12342 ``Engineering multiagent Systems''. The seminar brought together researchers from both academia and industry to identify the potential for and facilitate convergence towards standards for agent technology. As such it was particularly relevant to industrial research.
A key objective of the seminar, moreover, has been to establish a road map for engineering multiagent systems. Various research areas have been identified as important topics for a research agenda with a focus on the development of multiagent systems. Among others, these include the integration of agent technology and legacy systems, component-based agent design, standards for tooling, establishing benchmarks for agent technology, and the development of frameworks for coordination and organisation of multiagent systems. This report presents a more detailed discussion of these and other research challenges that were identified.
The unique atmosphere of Dagstuhl provided the perfect environment for leading researchers from a wide variety of backgrounds to discuss future directions in programming languages, tools and platforms for multiagent systems, and the road map produced by the seminar will have a timely and decisive impact on the future of this whole area of research.
Cite as
Jürgen Dix, Koen V. Hindriks, Brian Logan, and Wayne Wobcke. Engineering Multi-Agent Systems (Dagstuhl Seminar 12342). In Dagstuhl Reports, Volume 2, Issue 8, pp. 74-98, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
Copy BibTex To Clipboard
@Article{dix_et_al:DagRep.2.8.74,
author = {Dix, J\"{u}rgen and Hindriks, Koen V. and Logan, Brian and Wobcke, Wayne},
title = {{Engineering Multi-Agent Systems (Dagstuhl Seminar 12342)}},
pages = {74--98},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {2},
number = {8},
editor = {Dix, J\"{u}rgen and Hindriks, Koen V. and Logan, Brian and Wobcke, Wayne},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.8.74},
URN = {urn:nbn:de:0030-drops-37846},
doi = {10.4230/DagRep.2.8.74},
annote = {Keywords: Agent-oriented programming, multiagent systems, Software methodologies for distributed systems, Programming distributed systems, Empirical evaluation}
}
Document
Information Flow and Its Applications (Dagstuhl Seminar 12352)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12352 "Information Flow and Its Applications". This seminar brought together mathematicians, computer scientists, physicists and researchers from related disciplines such as computational biology who are working on problems concerning information and information flow.
Cite as
Samson Abramsky, Jean Krivine, and Michael W. Mislove. Information Flow and Its Applications (Dagstuhl Seminar 12352). In Dagstuhl Reports, Volume 2, Issue 8, pp. 99-112, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
Copy BibTex To Clipboard
@Article{abramsky_et_al:DagRep.2.8.99,
author = {Abramsky, Samson and Krivine, Jean and Mislove, Michael W.},
title = {{Information Flow and Its Applications (Dagstuhl Seminar 12352)}},
pages = {99--112},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {2},
number = {8},
editor = {Abramsky, Samson and Krivine, Jean and Mislove, Michael W.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.8.99},
URN = {urn:nbn:de:0030-drops-37866},
doi = {10.4230/DagRep.2.8.99},
annote = {Keywords: Information flow; semantics of computation; quantum computing; systems biology; information theory; informatics}
}