Issue

Dagstuhl Manifestos, Volume 1, Issue 1

Thumbnail PDF

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
DOI: 10.4230/DagMan.1.1
Dagstuhl Manifestos, Volume 1, Issue 1, January - December 2011, Complete Issue
Abstract
Dagstuhl Manifestos, Volume 1, Issue 1, January - December 2011, Complete Issue
Cite as

Dagstuhl Manifestos, Volume 1, Issue 1, pp. 1-62, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@Article{DagMan.1.1,
  title =	{{Dagstuhl Manifestos, Volume 1, Issue 1, January - December 2011, Complete Issue}},
  pages =	{1--62},
  journal =	{Dagstuhl Manifestos},
  ISSN =	{2193-2433},
  year =	{2012},
  volume =	{1},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagMan.1.1},
  URN =		{urn:nbn:de:0030-drops-34497},
  doi =		{10.4230/DagMan.1.1},
  annote =	{Keywords: Dagstuhl Manifestos, Volume 1, Issue 1, January - December 2011, Complete Issue}
}
Document
Front Matter
DOI: 10.4230/DagMan.1.1.i
Dagstuhl Manifestos, Table of Contents, Volume 1, Issue 1, 2011
Abstract
Dagstuhl Manifestos, Table of Contents, Volume 1, Issue 1, 2011
Cite as

Dagstuhl Manifestos, Volume 1, Issue 1, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@Article{DagMan.1.1.i,
  title =	{{Dagstuhl Manifestos, Table of Contents, Volume 1, Issue 1, 2011}},
  pages =	{i--ii},
  journal =	{Dagstuhl Manifestos},
  ISSN =	{2193-2433},
  year =	{2012},
  volume =	{1},
  number =	{1},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagMan.1.1.i},
  URN =		{urn:nbn:de:0030-drops-34480},
  doi =		{10.4230/DagMan.1.1.i},
  annote =	{Keywords: Dagstuhl Manifestos, Table of Contents, Volume 1, Issue 1, 2011}
}
Document
DOI: 10.4230/DagMan.1.1.1
Online Privacy: Towards Informational Self-Determination on the Internet (Dagstuhl Perspectives Workshop 11061)

Authors: Simone Fischer-Hübner, Chris Hoofnagle, Ioannis Krontiris, Kai Rannenberg, and Michael Waidner

Abstract
While the collection and monetization of user data has become a main source for funding ``free'' services like search engines, online social networks, news sites and blogs, neither privacy-enhancing technologies nor its regulations have kept up with user needs and privacy preferences. The aim of this Manifesto is to raise awareness for the actual state of the art of online privacy, especially in the international research community and in ongoing efforts to improve the respective legal frameworks, and to provide concrete recommendations to industry, regulators, and research agencies for improving online privacy. In particular we examine how the basic principle of informational self-determination, as promoted by European legal doctrines, could be applied to infrastructures like the internet, Web 2.0 and mobile telecommunication networks.
Cite as

Simone Fischer-Hübner, Chris Hoofnagle, Ioannis Krontiris, Kai Rannenberg, and Michael Waidner. Online Privacy: Towards Informational Self-Determination on the Internet (Dagstuhl Perspectives Workshop 11061). In Dagstuhl Manifestos, Volume 1, Issue 1, pp. 1-20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@Article{fischerhubner_et_al:DagMan.1.1.1,
  author =	{Fischer-H\"{u}bner, Simone and Hoofnagle, Chris and Krontiris, Ioannis and Rannenberg, Kai and Waidner, Michael},
  title =	{{Online Privacy: Towards Informational Self-Determination on the Internet (Dagstuhl Perspectives Workshop 11061)}},
  pages =	{1--20},
  journal =	{Dagstuhl Manifestos},
  ISSN =	{2193-2433},
  year =	{2011},
  volume =	{1},
  number =	{1},
  editor =	{Fischer-H\"{u}bner, Simone and Hoofnagle, Chris and Krontiris, Ioannis and Rannenberg, Kai 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/DagMan.1.1.1},
  URN =		{urn:nbn:de:0030-drops-32055},
  doi =		{10.4230/DagMan.1.1.1},
  annote =	{Keywords: Online Social Networks, Informational Self-Determination, Privacy Enhancing Technologies, Data Protection Directive}
}
Document
DOI: 10.4230/DagMan.1.1.21
Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482)

Authors: Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, and Reinhard Wilhelm

Abstract
This manifesto represents the results of the Dagstuhl Perspectives Workshop 10482 "Formal Methods – Just a Euro-Science?" held from November 30 to December 3, 2010 at Schloss Dagstuhl, Germany. We strive to clarify the terminology and categorize the abundance of concepts and methods in order to reduce misunderstandings among the involved research community and in communication with industry. We discuss the industrial acceptance of formal methods and how to increase it by targeted research and improved education. Finally, we state a few challenges and provide perspectives of the field. This document is opinionated in nature and biased towards the experiences and views of the participants listed in the appendix, further distilled by the authors.
Cite as

Jörg Kreiker, Andrzej Tarlecki, Moshe Y. Vardi, and Reinhard Wilhelm. Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482). In Dagstuhl Manifestos, Volume 1, Issue 1, pp. 21-40, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)

Copy BibTex To Clipboard

@Article{kreiker_et_al:DagMan.1.1.21,
  author =	{Kreiker, J\"{o}rg and Tarlecki, Andrzej and Vardi, Moshe Y. and Wilhelm, Reinhard},
  title =	{{Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010 (Dagstuhl Perspectives Workshop 10482)}},
  pages =	{21--40},
  journal =	{Dagstuhl Manifestos},
  ISSN =	{2193-2433},
  year =	{2011},
  volume =	{1},
  number =	{1},
  editor =	{Kreiker, J\"{o}rg and Tarlecki, Andrzej and Vardi, Moshe Y. and Wilhelm, Reinhard},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagMan.1.1.21},
  URN =		{urn:nbn:de:0030-drops-32121},
  doi =		{10.4230/DagMan.1.1.21},
  annote =	{Keywords: Formal methods, Verification, Analysis, Modeling, Design for Verifiability}
}
Document
DOI: 10.4230/DagMan.1.1.41
Improving The Future of Research Communications and e-Scholarship (Dagstuhl Perspectives Workshop 11331)

Authors: Philip E. Bourne, Timothy W. Clark, Robert Dale, Anita de Waard, Ivan Herman, Eduard H. Hovy, and David Shotton

Abstract
The dissemination of knowledge derived from research and scholarship has a fundamental impact on the ways in which society develops and progresses, and at the same time it feeds back to improve subsequent research and scholarship. Here, as in so many other areas of human activity, the internet is changing the way things work; two decades of emergent and increasingly pervasive information technology have demonstrated the potential for far more effective scholarly communication. But the use of this technology remains limited. Force11 is a community of scholars, librarians, archivists, publishers and research funders that has arisen organically to help facilitate the change toward improved knowledge creation and sharing. This document highlights the findings of the Force11 workshop on the Future of Research Communication held at Schloss Dagstuhl, Germany, in August 2011: it summarizes a number of key problems facing scholarly publishing today, and presents a vision that addresses these problems, proposing concrete steps that key stakeholders can take to improve the state of scholarly publishing.
Cite as

Philip E. Bourne, Timothy W. Clark, Robert Dale, Anita de Waard, Ivan Herman, Eduard H. Hovy, and David Shotton. Improving The Future of Research Communications and e-Scholarship (Dagstuhl Perspectives Workshop 11331). In Dagstuhl Manifestos, Volume 1, Issue 1, pp. 41-60, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2012)

Copy BibTex To Clipboard

@Article{bourne_et_al:DagMan.1.1.41,
  author =	{Bourne, Philip E. and Clark, Timothy W. and Dale, Robert and de Waard, Anita and Herman, Ivan and Hovy, Eduard H. and Shotton, David},
  title =	{{Improving The Future of Research Communications and e-Scholarship (Dagstuhl Perspectives Workshop 11331)}},
  pages =	{41--60},
  journal =	{Dagstuhl Manifestos},
  ISSN =	{2193-2433},
  year =	{2012},
  volume =	{1},
  number =	{1},
  editor =	{Bourne, Philip E. and Clark, Timothy W. and Dale, Robert and de Waard, Anita and Herman, Ivan and Hovy, Eduard H. and Shotton, David},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagMan.1.1.41},
  URN =		{urn:nbn:de:0030-drops-34458},
  doi =		{10.4230/DagMan.1.1.41},
  annote =	{Keywords: Elektronisches Publizieren , Dokumentenserver , Bibliometrie Science publishing, online communities, science policy, digital repositories, semantic publishing, citation analysis}
}

Filters

  • Authors
  • B
  • Bourne, Philip E.
  • C
  • Clark, Timothy W.
  • D
  • Dale, Robert
  • de Waard, Anita
  • F
  • Fischer-Hübner, Simone
  • H
  • Herman, Ivan
  • Hoofnagle, Chris
  • Hovy, Eduard H.
  • K
  • Kreiker, Jörg
  • Krontiris, Ioannis
  • R
  • Rannenberg, Kai
  • S
  • Shotton, David
  • T
  • Tarlecki, Andrzej
  • V
  • Vardi, Moshe Y.
  • W
  • Waidner, Michael
  • Wilhelm, Reinhard

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact