@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} } @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} } @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} } @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} } @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} } @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} } @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} }