|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 16 occurrences of 16 keywords
|
|
|
Results
Found 7 publication records. Showing 7 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
159 | Thanasis Hadzilacos, Vassos Hadzilacos |
Transaction Synchronisation in Object Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Seventh ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, March 21-23, 1988, Austin, Texas, USA, pp. 193-200, 1988, ACM, 0-89791-263-2. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
59 | Kees M. van Hee, Natalia Sidorova, Marc Voorhoeve |
Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 337-356, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
modelling, verification, Petri nets, workflow, correctness, soundness, separability, serialisability |
42 | Lydia Blümel, Matthias Thimm |
A Ranking Semantics for Abstract Argumentation Based on Serialisability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMMA ![In: Computational Models of Argument - Proceedings of COMMA 2022, Cardiff, Wales, UK, 14-16 September 2022, pp. 104-115, 2022, IOS Press, 978-1-64368-306-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
42 | Alan D. Fekete |
Serialisability and Snapshhot Isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australasian Database Conference ![In: Database Systems 99, Proceedings of the 10th Australasian Database Conference, ADC '99, Auckland, New Zealand, 18-21 January 1999, pp. 201-209, 1999, Springer, 981-4021-55-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
33 | Lui Sha, John P. Lehoczky, E. Douglas Jensen |
Modular Concurrency Control and Failure Recovery. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 37(2), pp. 146-159, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
modular concurrency control, database decomposition, transaction decomposition, generalized serialisability theory, correct execution of transactions, failure safety, fault tolerance, fault tolerant computing, distributed databases, consistency, database theory, modules, system recovery, failure recovery |
26 | Gary Cleveland, Mike Barley |
An Approach to Safe Continuous Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Intelligent Agents and Multi-Agent Systems, 7th Pacific Rim International Workshop on Multi-Agents, PRIMA 2004, Auckland, New Zealand, August 8-13, 2004, Revised Selected Papers, pp. 57-66, 2004, Springer, 3-540-25340-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
26 | Ryszard Janicki, Maciej Koutny |
Invariant Semantics of Nets with Inhibitor Arcs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings, pp. 317-331, 1991, Springer, 3-540-54430-5. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #7 of 7 (100 per page; Change: )
|
|