Issue
Dagstuhl Reports, Volume 1, Issue 10
-
Part of:
Volume:
Dagstuhl Reports, Volume 1
Journal: Dagstuhl Reports (DagRep)
Publication Details
- published at: 2012-01-23
- Publisher: Schloss Dagstuhl – Leibniz-Zentrum für Informatik
- DBLP: db/journals/dagstuhl-reports/dagstuhl-reports1
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 1, Issue 10, October 2011, Complete Issue
Abstract
Dagstuhl Reports, Volume 1, Issue 10, October 2011, Complete Issue
Cite as
Dagstuhl Reports, Volume 1, Issue 10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
Copy BibTex To Clipboard
@Article{DagRep.1.10,
title = {{Dagstuhl Reports, Volume 1, Issue 10, October 2011, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {1},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.1.10},
URN = {urn:nbn:de:0030-drops-33826},
doi = {10.4230/DagRep.1.10},
annote = {Keywords: Dagstuhl Reports, Volume 1, Issue 10, October 2011, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 1, Issue 10, 2011
Abstract
Table of Contents, Frontmatter
Cite as
Dagstuhl Reports, Volume 1, Issue 10, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
Copy BibTex To Clipboard
@Article{DagRep.1.10.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 1, Issue 10, 2011}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {1},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.1.10.i},
URN = {urn:nbn:de:0030-drops-33812},
doi = {10.4230/DagRep.1.10.i},
annote = {Keywords: Table of Contents, Frontmatter}
}
Document
Forensic Computing (Dagstuhl Seminar 11401)
Abstract
Forensic computing (sometimes also called digital forensics, computer forensics or IT forensics) is a branch of forensic science pertaining to digital evidence, i.e., any legal evidence that is processed by digital computer systems or stored on digital storage media. Forensic computing
is a new discipline evolving within the intersection of several established research areas such as computer science, computer engineering and law.
Forensic computing is rapidly gaining importance since the amount of crime involving digital systems is steadily increasing. Furthermore, the area is still underdeveloped and poses many technical and legal challenges.
This Dagstuhl seminar brought together researchers and practitioners from computer science and law covering the diverse areas of forensic computing. The goal of the seminar was to further establish forensic computing as a scientific research discipline, to identify the strengths and weaknesses of the research field, and to discuss the foundations of its methodology. The seminar was jointly organized by Prof. Dr. Felix Freiling (Friedrich-Alexander University
Erlangen-Nuremberg, Germany), Prof. Dr. Dirk Heckmann (University of Passau, Germany), Prof. Dr. Radim Polcàk (Masaryk University, Czech Republic), Prof. Dr. Joachim Posegga (University of Passau, Germany), and Dr. Roland Vogl (Stanford University, USA). It was attended by 27 participants.
Cite as
Felix C. Freiling, Dirk Heckmann, Radim Polcák, and Joachim Posegga. Forensic Computing (Dagstuhl Seminar 11401). In Dagstuhl Reports, Volume 1, Issue 10, pp. 1-13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
Copy BibTex To Clipboard
@Article{freiling_et_al:DagRep.1.10.1,
author = {Freiling, Felix C. and Heckmann, Dirk and Polc\'{a}k, Radim and Posegga, Joachim},
title = {{Forensic Computing (Dagstuhl Seminar 11401)}},
pages = {1--13},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {1},
number = {10},
editor = {Freiling, Felix C. and Heckmann, Dirk and Polc\'{a}k, Radim and Posegga, Joachim},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.1.10.1},
URN = {urn:nbn:de:0030-drops-33691},
doi = {10.4230/DagRep.1.10.1},
annote = {Keywords: forensic teaching; practical experience in forensics and law; selective imaging; mobile phone forensics; cryptographic hash functions}
}
Document
Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411)
Abstract
There is a large gap between mathematical structures and the structures computer implementations are based on. To stimulate research to overcome this---especially for infinitary structures---highly non-trivial problem the Dagstuhl Seminar 11411 ``Computing with Infinite Data: Topological and Logical Foundations'' was held. This report collects the ideas that were presented and discussed during the course of the seminar.
Cite as
Ulrich Berger, Vasco Brattka, Victor Selivanov, Dieter Spreen, and Hideki Tsuiki. Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411). In Dagstuhl Reports, Volume 1, Issue 10, pp. 14-36, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
Copy BibTex To Clipboard
@Article{berger_et_al:DagRep.1.10.14,
author = {Berger, Ulrich and Brattka, Vasco and Selivanov, Victor and Spreen, Dieter and Tsuiki, Hideki},
title = {{Computing with Infinite Data: Topological and Logical Foundations (Dagstuhl Seminar 11411)}},
pages = {14--36},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {1},
number = {10},
editor = {Berger, Ulrich and Brattka, Vasco and Selivanov, Victor and Spreen, Dieter and Tsuiki, Hideki},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.1.10.14},
URN = {urn:nbn:de:0030-drops-33721},
doi = {10.4230/DagRep.1.10.14},
annote = {Keywords: Exact real number computation, Stream computation, Infinite computations, Computability in analysis, Hierarchies, Reducibility, Topological complexity}
}
Document
Foundations of distributed data management (Dagstuhl Seminar 11421)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 11421 ``Foundations of distributed data management''.
Cite as
Serge Abiteboul, Alin Deutsch, Thomas Schwentick, and Luc Segoufin. Foundations of distributed data management (Dagstuhl Seminar 11421). In Dagstuhl Reports, Volume 1, Issue 10, pp. 37-57, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)
Copy BibTex To Clipboard
@Article{abiteboul_et_al:DagRep.1.10.37,
author = {Abiteboul, Serge and Deutsch, Alin and Schwentick, Thomas and Segoufin, Luc},
title = {{Foundations of distributed data management (Dagstuhl Seminar 11421)}},
pages = {37--57},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2012},
volume = {1},
number = {10},
editor = {Abiteboul, Serge and Deutsch, Alin and Schwentick, Thomas and Segoufin, Luc},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.1.10.37},
URN = {urn:nbn:de:0030-drops-33737},
doi = {10.4230/DagRep.1.10.37},
annote = {Keywords: XML Query language, Distribution, Incompleteness}
}