Dagstuhl Reports, Volume 8, Issue 12



Thumbnail PDF

Publication Details


Access Numbers

Documents

No documents found matching your filter selection.
Document
Complete Issue
Dagstuhl Reports, Volume 8, Issue 12, December 2018, Complete Issue

Abstract
Dagstuhl Reports, Volume 8, Issue 12, December 2018, Complete Issue

Cite as

Dagstuhl Reports, Volume 8, Issue 12, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{DagRep.8.12,
  title =	{{Dagstuhl Reports, Volume 8, Issue 12, December 2018, Complete Issue}},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{12},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.12},
  URN =		{urn:nbn:de:0030-drops-105668},
  doi =		{10.4230/DagRep.8.12},
  annote =	{Keywords: Dagstuhl Reports, Volume 8, Issue 12, December 2018, Complete Issue}
}
Document
Front Matter
Dagstuhl Reports, Table of Contents, Volume 8, Issue 12, 2018

Abstract
Dagstuhl Reports, Table of Contents, Volume 8, Issue 12, 2018

Cite as

Dagstuhl Reports, Volume 8, Issue 12, pp. i-ii, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{DagRep.8.12.i,
  title =	{{Dagstuhl Reports, Table of Contents, Volume 8, Issue 12, 2018}},
  pages =	{i--ii},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{12},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.12.i},
  URN =		{urn:nbn:de:0030-drops-105648},
  doi =		{10.4230/DagRep.8.12.i},
  annote =	{Keywords: Table of Contents, Frontmatter}
}
Document
Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491)

Authors: Anthony Cleve, Ekkart Kindler, Perdita Stevens, and Vadim Zaytsev


Abstract
Bidirectional transformations (bx) are a mechanism for maintaining the consistency of two (or more) related sources of information, such as models in model-driven development, database schemas, or programs. Bx technologies have been developed for practical engineering purposes in many diverse fields. Different disciplines such as programming languages, graph transformations, software engineering, and databases have contributed to the concepts and theory of bx. However, so far, most efforts have been focused on the case where exactly two information sources must be kept consistent; the case of more than two has usually been considered as an afterthought. In many practical scenarios, it is essential to work with more than two information sources, but the community has hardly started to identify and address the research challenges that this brings. Driven by the practical needs and usage scenarios from industry, this Dagstuhl Seminar aimed to identify the challenges, issues and open research problems for multidirectional model transformations and synchronisations and sketch a road map for developing relevant concepts, theories and tools. The report contains an executive summary of the seminar, reports from its working groups, as well as descriptions of industrial and academic case studies that motivated the discussions.

Cite as

Anthony Cleve, Ekkart Kindler, Perdita Stevens, and Vadim Zaytsev. Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491). In Dagstuhl Reports, Volume 8, Issue 12, pp. 1-48, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{cleve_et_al:DagRep.8.12.1,
  author =	{Cleve, Anthony and Kindler, Ekkart and Stevens, Perdita and Zaytsev, Vadim},
  title =	{{Multidirectional Transformations and Synchronisations (Dagstuhl Seminar 18491)}},
  pages =	{1--48},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{12},
  editor =	{Cleve, Anthony and Kindler, Ekkart and Stevens, Perdita and Zaytsev, Vadim},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.12.1},
  URN =		{urn:nbn:de:0030-drops-103606},
  doi =		{10.4230/DagRep.8.12.1},
  annote =	{Keywords: bidirectional transformation, synchronisation}
}
Document
Algebraic Coding Theory for Networks, Storage, and Security (Dagstuhl Seminar 18511)

Authors: Eimear Byrne, Martin Bossert, and Antonia Wachter-Zeh


Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 18511 "Algebraic Coding Theory for Networks, Storage, and Security". The ever increasing traffic in networks and the growth of distributed storage systems require advanced techniques based on algebraic coding to meet user demand. Private access to such services is a major concern for consumers and is still a new field in the context of distributed storage. The topics of this workshop are very relevant for a number of emerging industrial research fields concerned with efficient and reliable storage and transmitting large files through large networks.

Cite as

Eimear Byrne, Martin Bossert, and Antonia Wachter-Zeh. Algebraic Coding Theory for Networks, Storage, and Security (Dagstuhl Seminar 18511). In Dagstuhl Reports, Volume 8, Issue 12, pp. 49-67, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@Article{byrne_et_al:DagRep.8.12.49,
  author =	{Byrne, Eimear and Bossert, Martin and Wachter-Zeh, Antonia},
  title =	{{Algebraic Coding Theory for Networks, Storage, and Security (Dagstuhl Seminar 18511)}},
  pages =	{49--67},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2019},
  volume =	{8},
  number =	{12},
  editor =	{Byrne, Eimear and Bossert, Martin and Wachter-Zeh, Antonia},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagRep.8.12.49},
  URN =		{urn:nbn:de:0030-drops-103615},
  doi =		{10.4230/DagRep.8.12.49},
  annote =	{Keywords: Coding theory, infomation theory, distributed storage, cryptography, error-correction, private information retrieval, private computation, adversarial channel}
}

Filters