4 Search Results for "Jones, Clifford B."


Document
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-dev.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
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-dev.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
06121 Report: Break Out Session on Guaranteed Execution

Authors: Calton Pu, Jim Johnson, Rogerio de Lemos, Andreas Reuter, David Taylor, and Irfan Zakiuddin

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


Abstract
The break out session discussed guaranteed properties during program execution. Using a workflow example application, we discussed several research topics that form part of the guaranteed properties, including declarative specifications, generation of workflow program, generation of invariant guards, automated failure analysis, automated repair, and automated reconfiguration of workflow.

Cite as

Calton Pu, Jim Johnson, Rogerio de Lemos, Andreas Reuter, David Taylor, and Irfan Zakiuddin. 06121 Report: Break Out Session on Guaranteed Execution. In Atomicity: A Unifying Concept in Computer Science. Dagstuhl Seminar Proceedings, Volume 6121, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


Copy BibTex To Clipboard

@InProceedings{pu_et_al:DagSemProc.06121.3,
  author =	{Pu, Calton and Johnson, Jim and de Lemos, Rogerio and Reuter, Andreas and Taylor, David and Zakiuddin, Irfan},
  title =	{{06121 Report: Break Out Session on Guaranteed Execution}},
  booktitle =	{Atomicity: A Unifying Concept in Computer Science},
  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-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.06121.3},
  URN =		{urn:nbn:de:0030-drops-6410},
  doi =		{10.4230/DagSemProc.06121.3},
  annote =	{Keywords: Guaranteed properties, declarative specifications, generation of workflow program, generation of invariant guards, automated failure analysis, automat}
}
Document
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-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.111},
  URN =		{urn:nbn:de:0030-drops-149997},
  doi =		{10.4230/DagSemRep.111},
}
  • Refine by Author
  • 3 Jones, Clifford B.
  • 2 Lomet, David
  • 2 Romanovsky, Alexander
  • 2 Weikum, Gerhard
  • 1 Freitag, Burkhard
  • Show More...

  • Refine by Classification

  • Refine by Keyword
  • 2 fault tolerance
  • 2 system structuring
  • 1 Atomicity
  • 1 Formal methods
  • 1 Guaranteed properties
  • Show More...

  • Refine by Type
  • 4 document

  • Refine by Publication Year
  • 3 2006
  • 1 1995

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