Issue
Dagstuhl Reports, Volume 2, Issue 10
-
Part of:
Volume:
Dagstuhl Reports, Volume 2
Journal: Dagstuhl Reports (DagRep)
Event
Dagstuhl Seminars 12401, 12411, 12421, 12431, 12441, 12442Publication Details
- published at: 2013-03-04
- 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 10, October 2012, Complete Issue
Abstract
Dagstuhl Reports, Volume 2, Issue 10, October 2012, Complete Issue
Cite as
Dagstuhl Reports, Volume 2, Issue 10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
Copy BibTex To Clipboard
@Article{DagRep.2.10,
title = {{Dagstuhl Reports, Volume 2, Issue 10, October 2012, Complete Issue}},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {2},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.10},
URN = {urn:nbn:de:0030-drops-39819},
doi = {10.4230/DagRep.2.10},
annote = {Keywords: Dagstuhl Reports, Volume 2, Issue 10, October 2012, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 2, Issue 10, 2012
Abstract
Table of Contents, Frontmatter
Cite as
Dagstuhl Reports, Volume 2, Issue 10, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
Copy BibTex To Clipboard
@Article{DagRep.2.10.i,
title = {{Dagstuhl Reports, Table of Contents, Volume 2, Issue 10, 2012}},
pages = {i--ii},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {2},
number = {10},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.10.i},
URN = {urn:nbn:de:0030-drops-39803},
doi = {10.4230/DagRep.2.10.i},
annote = {Keywords: Dagstuhl Reports, Table of Contents, Volume 2, Issue 10, 2012}
}
Document
Web Application Security (Dagstuhl Seminar 12401)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12401 ``Web Application Security''. The seminar brought 44 web security researchers together, coming from companies and research institutions across Europe and the US.
The seminar had a well-filled program, with 3 keynotes, 28 research talks, and 15 5-minute talks.
As web application security is a broad research domain, a diverse set of recent research results was presented during the talks, covering the web security vulnerability landscape, information-flow control, JavaScript formalization, JavaScript confinement, and infrastructure and server hardening.
In addition to the plenary program, the seminar also featured three parallel break-out sessions on Cross-Site Scripting (XSS), JavaScript and Information-flow control.
Cite as
Lieven Desmet, Martin Johns, Benjamin Livshits, and Andrei Sabelfeld. Web Application Security (Dagstuhl Seminar 12401). In Dagstuhl Reports, Volume 2, Issue 10, pp. 1-37, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
Copy BibTex To Clipboard
@Article{desmet_et_al:DagRep.2.10.1,
author = {Desmet, Lieven and Johns, Martin and Livshits, Benjamin and Sabelfeld, Andrei},
title = {{Web Application Security (Dagstuhl Seminar 12401)}},
pages = {1--37},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {2},
number = {10},
editor = {Desmet, Lieven and Johns, Martin and Livshits, Benjamin and Sabelfeld, Andrei},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.10.1},
URN = {urn:nbn:de:0030-drops-39051},
doi = {10.4230/DagRep.2.10.1},
annote = {Keywords: Web application security, JavaScript, Secure interaction, Information flow, Secure composition, Application security, Web 2.0}
}
Document
Coalgebraic Logics (Dagstuhl Seminar 12411)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12411 "Coalgebraic Logics". The seminar deals with recent developments in the area of coalgebraic logic, a branch of logics which combines modal logics with coalgebraic
semantics. Modal logic finds its uses when reasoning about behavioural and temporal properties of computation and communication, coalgebras have evolved into a general theory of systems. Consequently, it is natural to combine both areas for a mathematical description of system specification. Coalgebraic logics are closely related to the broader categories semantics/formal methods and verification/logic.
Cite as
Ernst-Erich Doberkat and Alexander Kurz. Coalgebraic Logics (Dagstuhl Seminar 12411). In Dagstuhl Reports, Volume 2, Issue 10, pp. 38-59, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
Copy BibTex To Clipboard
@Article{doberkat_et_al:DagRep.2.10.38,
author = {Doberkat, Ernst-Erich and Kurz, Alexander},
title = {{Coalgebraic Logics (Dagstuhl Seminar 12411)}},
pages = {38--59},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {2},
number = {10},
editor = {Doberkat, Ernst-Erich and Kurz, Alexander},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.10.38},
URN = {urn:nbn:de:0030-drops-38938},
doi = {10.4230/DagRep.2.10.38},
annote = {Keywords: Modal Logic, Coalgebra, Category Theory, Stochastic Logic, Categorical Semantics}
}
Document
Algebraic and Combinatorial Methods in Computational Complexity (Dagstuhl Seminar 12421)
Abstract
At its core, much of Computational Complexity is concerned with combinatorial objects and structures. But it has often proven true that the best way to prove
things about these combinatorial objects is by establishing a connection (perhaps approximate) to a more well-behaved algebraic setting. Indeed, many of the deepest and most powerful results in Computational Complexity rely on
algebraic proof techniques. The PCP characterization of NP and the
Agrawal-Kayal-Saxena polynomial-time primality test are two prominent examples.
Recently, there have been some works going in the opposite direction, giving alternative combinatorial proofs for results that were originally proved
algebraically. These alternative proofs can yield important improvements because they are closer to the underlying problems and avoid the losses in passing to the algebraic setting. A prominent example is Dinur's proof of the PCP Theorem via gap amplification which yielded short PCPs with only a polylogarithmic length blowup (which had been the focus of significant research effort up to that point). We see here (and in a number of recent works) an exciting interplay between algebraic and combinatorial techniques.
This seminar aims to capitalize on recent progress and bring together researchers who are using a diverse array of algebraic and combinatorial methods in a variety of settings.
Cite as
Manindra Agrawal, Thomas Thierauf, and Christopher Umans. Algebraic and Combinatorial Methods in Computational Complexity (Dagstuhl Seminar 12421). In Dagstuhl Reports, Volume 2, Issue 10, pp. 60-78, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
Copy BibTex To Clipboard
@Article{agrawal_et_al:DagRep.2.10.60,
author = {Agrawal, Manindra and Thierauf, Thomas and Umans, Christopher},
title = {{Algebraic and Combinatorial Methods in Computational Complexity (Dagstuhl Seminar 12421)}},
pages = {60--78},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {2},
number = {10},
editor = {Agrawal, Manindra and Thierauf, Thomas and Umans, Christopher},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.10.60},
URN = {urn:nbn:de:0030-drops-39034},
doi = {10.4230/DagRep.2.10.60},
annote = {Keywords: Computational Complexity, lower bounds, approximazation, pseudo-randomness, derandomization, circuits}
}
Document
Time-of-Flight Imaging: Algorithms, Sensors and Applications (Dagstuhl Seminar 12431)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12431 "Time-of-Flight Imaging: Algorithms, Sensors and Applications". The seminar brought together researchers with diverse background from both academia and industry to discuss various aspects of Time-of-Flight imaging and general depth sensors. The executive summary and abstracts of the talks given during the seminar as well as the outcome of several working groups on specific research topics are presented in this report.
Cite as
James Davis, Bernd Jähne, Andreas Kolb, Ramesh Raskar, and Christian Theobalt. Time-of-Flight Imaging: Algorithms, Sensors and Applications (Dagstuhl Seminar 12431). In Dagstuhl Reports, Volume 2, Issue 10, pp. 79-104, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
Copy BibTex To Clipboard
@Article{davis_et_al:DagRep.2.10.79,
author = {Davis, James and J\"{a}hne, Bernd and Kolb, Andreas and Raskar, Ramesh and Theobalt, Christian},
title = {{Time-of-Flight Imaging: Algorithms, Sensors and Applications (Dagstuhl Seminar 12431)}},
pages = {79--104},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {2},
number = {10},
editor = {Davis, James and J\"{a}hne, Bernd and Kolb, Andreas and Raskar, Ramesh and Theobalt, Christian},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.10.79},
URN = {urn:nbn:de:0030-drops-39044},
doi = {10.4230/DagRep.2.10.79},
annote = {Keywords: Time-of-Flight, Kinect^TM, depth sensor}
}
Document
Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12441 "Foundations and Challenges of Change and Evolution in Ontologies", held from 28 October to 2 November 2012. The aim of the workshop was to bring together researchers working in the areas of logic-based ontologies, belief change, and database systems, along with researchers working in relevant areas in nonmonotonic reasoning, commonsense reasoning, and paraconsistent reasoning. The workshop provided a forum for discussions on the application of existing work in belief change, nonmonotonic reasoning, commonsense reasoning, and databases to logic-based ontologies. Overall the intent was to provide an interdisciplinary (with respect to computer science and mathematics) workshop for addressing both theoretical and computational issues in managing change and evolution in formal ontologies.
Cite as
James Delgrande, Thomas Meyer, and Ulrike Sattler. Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441). In Dagstuhl Reports, Volume 2, Issue 10, pp. 105-116, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
Copy BibTex To Clipboard
@Article{delgrande_et_al:DagRep.2.10.105,
author = {Delgrande, James and Meyer, Thomas and Sattler, Ulrike},
title = {{Foundations and Challenges of Change and Evolution in Ontologies (Dagstuhl Seminar 12441)}},
pages = {105--116},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {2},
number = {10},
editor = {Delgrande, James and Meyer, Thomas and Sattler, Ulrike},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.10.105},
URN = {urn:nbn:de:0030-drops-39079},
doi = {10.4230/DagRep.2.10.105},
annote = {Keywords: Artificial intelligence, Belief change, Ontologies, Description logics}
}
Document
Requirements Management – Novel Perspectives and Challenges (Dagstuhl Seminar 12442)
Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 12442 "Requirements Management -- Novel Perspectives and Challenges". Changes in computational paradigms and capabilities that draw upon platform strategies, web services, and virtualization of both application services and development platforms have significant implications for views of modularity and requirements
evolution, complexity of RE tasks, and the economics of system development and operations. The aim of the seminar was to bring together experts from multiple fields to discuss models and theories around these changes. Three key challenges and associated solution ideas were addressed, namely (1) to better deal with context changes and business goal management to reduce the "black swan" rate of badly failed large projects, (2) to exploit recent theories of technological and institutional evolution to understand better how to control complexity and leverage it for innovation at the same time, and (3) the demand for runtime re-organization of existing large-scale systems with respect to new
operational goals such as energy efficiency. Future RE must see itself as
the marketplace where responsibility for all these complexities and
evolutionary steps is traded.
Cite as
Jane Cleland-Huang, Matthias Jarke, Lin Liu, and Kalle Lyytinen. Requirements Management – Novel Perspectives and Challenges (Dagstuhl Seminar 12442). In Dagstuhl Reports, Volume 2, Issue 10, pp. 117-152, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013)
Copy BibTex To Clipboard
@Article{clelandhuang_et_al:DagRep.2.10.117,
author = {Cleland-Huang, Jane and Jarke, Matthias and Liu, Lin and Lyytinen, Kalle},
title = {{Requirements Management – Novel Perspectives and Challenges (Dagstuhl Seminar 12442)}},
pages = {117--152},
journal = {Dagstuhl Reports},
ISSN = {2192-5283},
year = {2013},
volume = {2},
number = {10},
editor = {Cleland-Huang, Jane and Jarke, Matthias and Liu, Lin and Lyytinen, Kalle},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.2.10.117},
URN = {urn:nbn:de:0030-drops-39082},
doi = {10.4230/DagRep.2.10.117},
annote = {Keywords: requirements engineering; system complexity; software evolution; socio-technical systems}
}