Search Results

Documents authored by Jones, Clifford B.

Document
DOI: 10.4230/DagSemProc.06121.1
06121 Abstracts Collection – Atomicity: A Unifying Concept in Computer Science

Authors: Gerhard Weikum, Clifford B. Jones, David Lomet, and Alexander Romanovsky

Published in: Dagstuhl Seminar Proceedings, Volume 6121, Atomicity: A Unifying Concept in Computer Science (2006)

Abstract
From 19.03.06 to 24.03.06, the Dagstuhl Seminar 06121 ``Atomicity: A Unifying Concept in Computer Science'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Cite as

Gerhard Weikum, Clifford B. Jones, David Lomet, and Alexander Romanovsky. 06121 Abstracts Collection – Atomicity: A Unifying Concept in Computer Science. In Atomicity: A Unifying Concept in Computer Science. Dagstuhl Seminar Proceedings, Volume 6121, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{weikum_et_al:DagSemProc.06121.1,
  author =	{Weikum, Gerhard and Jones, Clifford B. and Lomet, David and Romanovsky, Alexander},
  title =	{{06121 Abstracts Collection – Atomicity: A Unifying Concept in Computer Science}},
  booktitle =	{Atomicity: A Unifying Concept in Computer Science},
  pages =	{1--15},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6121},
  editor =	{Clifford B. Jones and David Lomet and Alexander Romanovsky and Gerhard Weikum},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06121.1},
  URN =		{urn:nbn:de:0030-drops-8365},
  doi =		{10.4230/DagSemProc.06121.1},
  annote =	{Keywords: Formal methods, dependability, fault tolerance, atomic actions, databases, advanced transactional models, system structuring}
}
Document
DOI: 10.4230/DagSemProc.06121.2
06121 Executive Summary – Atomicity: A Unifying Concept in Computer Science

Authors: Gerhard Weikum, Clifford B. Jones, David Lomet, and Alexander Romanovsky

Published in: Dagstuhl Seminar Proceedings, Volume 6121, Atomicity: A Unifying Concept in Computer Science (2006)

Abstract
This seminar was based on and continued the interaction of different computer-science communities that was begun in an earlier Dagstuhl seminar in April 2004. Both seminars have aimed at a deeper understanding of the fundamental concept of atomic actions and their roles in system design, execution, modeling, and correctness reasoning, and at fostering collaboration, synergies, and a unified perspective across largely separated research communities. Each of the two seminar brought together about 30 researchers and industrial practitioners from the four areas of database and transaction processing systems, fault tolerance and dependable systems, formal methods, and to smaller extent, hardware architecture and programming languages. The interpretations and roles of the atomicity concept(s) vary substantially across these communities. For example, the emphasis in database systems is on algorithms and implementation techniques for atomic transactions, whereas in dependable systems and formal methods atomicity is viewed as an intentionally imposed or postulated property of system components to simplify designs and increase dependability. Nevertheless, all four communities share the hope that it will eventually be possible to unify the different scientific viewpoints into more coherent foundations, system development principles, design methodologies, and usage guidelines.
Cite as

Gerhard Weikum, Clifford B. Jones, David Lomet, and Alexander Romanovsky. 06121 Executive Summary – Atomicity: A Unifying Concept in Computer Science. In Atomicity: A Unifying Concept in Computer Science. Dagstuhl Seminar Proceedings, Volume 6121, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)

Copy BibTex To Clipboard

@InProceedings{weikum_et_al:DagSemProc.06121.2,
  author =	{Weikum, Gerhard and Jones, Clifford B. and Lomet, David and Romanovsky, Alexander},
  title =	{{06121 Executive Summary – Atomicity: A Unifying Concept in Computer Science}},
  booktitle =	{Atomicity: A Unifying Concept in Computer Science},
  pages =	{1--4},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{6121},
  editor =	{Clifford B. Jones and David Lomet and Alexander Romanovsky and Gerhard Weikum},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06121.2},
  URN =		{urn:nbn:de:0030-drops-8358},
  doi =		{10.4230/DagSemProc.06121.2},
  annote =	{Keywords: Atomicity, concurrency, system structuring, abstraction, fault tolerance}
}
Document
DOI: 10.4230/DagSemRep.111
Object-Orientation with Parallelism and Persistence (Dagstuhl Seminar 9514)

Authors: Burkhard Freitag, Clifford B. Jones, Christian Lengauer, and Hans-Jörg Schek

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)

Abstract
Cite as

Burkhard Freitag, Clifford B. Jones, Christian Lengauer, and Hans-Jörg Schek. Object-Orientation with Parallelism and Persistence (Dagstuhl Seminar 9514). Dagstuhl Seminar Report 111, pp. 1-22, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1995)

Copy BibTex To Clipboard

@TechReport{freitag_et_al:DagSemRep.111,
  author =	{Freitag, Burkhard and Jones, Clifford B. and Lengauer, Christian and Schek, Hans-J\"{o}rg},
  title =	{{Object-Orientation with Parallelism and Persistence (Dagstuhl Seminar 9514)}},
  pages =	{1--22},
  ISSN =	{1619-0203},
  year =	{1995},
  type = 	{Dagstuhl Seminar Report},
  number =	{111},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.111},
  URN =		{urn:nbn:de:0030-drops-149997},
  doi =		{10.4230/DagSemRep.111},
}
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