In this issue

Papers published: 9

Total pages: 169

Unique views: 9195

Total views: 11939

open access

Go to issue

« Previous
Issue 11(5)
 Next »
Issue No
from 0 to 32
Number No
JUCS - Journal of Universal Computer Science 11(5)
Sort by:
Select:   All   None
Download:
Citation
XML
PDF
Export format

Download
Atomicity in System Design and Execution ...
Editorial
Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181)
Jon Burton, Cliff Jones
10.3217/jucs-011-05
 28-05-2005
 Unique: 909 | Total: 1112
 634-635
HTML
XML
PDF
The Atomic Manifesto
Research Article
The Atomic Manifesto
Cliff Jones, David Lomet, Alexander Romanovsky, Gerhard Weikum
10.3217/jucs-011-05-0636
 28-05-2005
 Unique: 1249 | Total: 1578
 636-650
HTML
XML
PDF
Atomicity as a First-Class System Provision
Research Article
Atomicity as a First-Class System Provision
J. Eliot B. Moss, Ravi Rajwar
10.3217/jucs-011-05-0651
 28-05-2005
 Unique: 959 | Total: 1176
 651-660
HTML
XML
PDF
Investigating Atomicity and Observability
Research Article
Investigating Atomicity and Observability
Jon Burton, Cliff Jones
10.3217/jucs-011-05-0661
 28-05-2005
 Unique: 1038 | Total: 1296
 661-686
HTML
XML
PDF
On Atomicity and Software Development
Research Article
On Atomicity and Software Development
Jörg Kienzle
10.3217/jucs-011-05-0687
 28-05-2005
 Unique: 1111 | Total: 1771
 687-702
HTML
XML
PDF
Replication: Understanding the Advantage ...
Research Article
Replication: Understanding the Advantage of Atomic Broadcast over Quorum Systems
Richard Ekwall, Andre Schiper
10.3217/jucs-011-05-0703
 28-05-2005
 Unique: 997 | Total: 1310
 703-711
HTML
XML
PDF
Precise Modelling of Compensating Business ...
Research Article
Precise Modelling of Compensating Business Transactions and its Application to BPEL
Michael Butler, Carla Ferreira, Muan Ng
10.3217/jucs-011-05-0712
 28-05-2005
 Unique: 1029 | Total: 1262
 712-743
HTML
XML
PDF
Formal Construction of a Non-blocking ...
Research Article
Formal Construction of a Non-blocking Concurrent Queue Algorithm
Jean-Raymond Abrial, Dominique Cansell
10.3217/jucs-011-05-0744
 28-05-2005
 Unique: 962 | Total: 1234
 744-770
HTML
XML
PDF
Relaxing Atomicity and Verifying Correctness: ...
Research Article
Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism
Jon Burton
10.3217/jucs-011-05-0771
 28-05-2005
 Unique: 941 | Total: 1200
 771-802
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK