Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Seth Gilbert, Nancy A. Lynch, Alexander A. Shvartsman |
RAMBO II: Rapidly Reconfigurable Atomic Memory for Dynamic Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings, pp. 259-268, 2003, IEEE Computer Society, 0-7695-1952-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Christof Fetzer, Karin Högstedt, Pascal Felber |
Automatic Detection and Masking of Non-Atomic Exception Handling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DSN ![In: 2003 International Conference on Dependable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA, Proceedings, pp. 445-454, 2003, IEEE Computer Society, 0-7695-1952-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Shing-Tsaan Huang, Su-Shen Hung |
Self-Stabilizing Token Circulation on Uniform Trees by Using Edge-Tokens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Self-Stabilizing Systems ![In: Self-Stabilizing Systems, 6th International Symposium, SSS 2003, San Francisco, CA, USA, June 24-25, 2003, Proceedings, pp. 92-101, 2003, Springer, 3-540-40453-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
Edge token, self-stabilization, mutual exclusion, token-circulation |
10 | Willem-Jan van den Heuvel, Hans Weigand |
Coordinating Web-Service Enabled Business Transactions with Contracts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAiSE ![In: Advanced Information Systems Engineering, 15th International Conference, CAiSE 2003, Klagenfurt, Austria, June 16-18, 2003, Proceedings, pp. 568-583, 2003, Springer, 3-540-40442-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Masashi Shiraishi, Tomoya Enokido, Makoto Takizawa 0001 |
Design and Implementation of Transactional Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSTFES ![In: 1st IEEE Workshop on Software Technologies for Future Embedded Systems, WSTFES 2003, Hakodate, Hokkaido, Japan, May 15-16, 2003, pp. 17-20, 2003, IEEE Computer Society, 0-7695-1937-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Liyin Xue, Mehmet A. Orgun |
An Exclusive Version Locking Scheme in Internet-based Real-time Group Editors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAINT ![In: 2003 Symposium on Applications and the Internet (SAINT 2003), 27-31 January 2003 - Orlando, FL, USA, Proceedings, pp. 94-101, 2003, IEEE Computer Society, 0-7695-1872-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
CSCW, Locking, consistency maintenance, group editors |
10 | Jarogniew Rykowski, Waldemar Wieczerzycki |
Web Servers with Semi-Transactions for e-Learning Activities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA Workshops ![In: 14th International Workshop on Database and Expert Systems Applications (DEXA'03), September 1-5, 2003, Prague, Czech Republic, pp. 297-301, 2003, IEEE Computer Society, 0-7695-1993-8. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 284-298, 2003, Springer, 3-540-00898-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Feilong Tang, Minglu Li 0001, Jian Cao 0001, Qianni Deng |
Coordinating Business Transaction for Grid Service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GCC (1) ![In: Grid and Cooperative Computing, Second International Workshop, GCC 2003, Shanghai, China, December 7-10, 2003, Revised Papers, Part I, pp. 108-114, 2003, Springer, 3-540-21988-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Yuetang Deng, Phyllis G. Frankl, Zhongqiang Chen |
Testing Database Transaction Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 6-10 October 2003, Montreal, Canada, pp. 184-195, 2003, IEEE Computer Society, 0-7695-2035-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Sangjin Kim, Heekuck Oh |
A new electronic check system with reusable refunds. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 1(3), pp. 175-188, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Electronic check, Reusable refund, Electronic cash |
10 | Synnöve Kekkonen-Moneta |
Torus orientation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Distributed Comput. ![In: Distributed Comput. 15(1), pp. 39-48, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Randomized scheduler, Self-stabilization, Orientation, Randomized protocol |
10 | Scott D. Stoller |
Model-checking multi-threaded distributed Java programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Tools Technol. Transf. ![In: Int. J. Softw. Tools Technol. Transf. 4(1), pp. 71-91, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Java, Model checking, Reduction, Locks, Partial-order methods |
10 | J Strother Moore, George Porter |
The apprentice challenge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 24(3), pp. 193-216, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Java, theorem proving, Java Virtual Machine, mutual exclusion, operational semantics, parallel and distributed computation |
10 | Adriano C. M. Pereira, Mark A. J. Song, Gustavo Gorgulho, Wagner Meira Jr., Sérgio Vale Aguiar Campos |
A Formal Methodology to Specify E-commerce Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 4th International Conference on Formal Engineering Methods, ICFEM 2002 Shanghai, China, October 21-25, 2002, Proceedings, pp. 180-191, 2002, Springer, 3-540-00029-1. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
property patterns, model checking, formal verification, electronic commerce, design specification |
10 | Alexander V. Konstantinou, Danilo Florissi, Yechiam Yemini |
Towards Self-Configuring Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DANCE ![In: 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 29-31 May 2002, San Francisco, CA, USA, pp. 143-156, 2002, IEEE Computer Society, 0-7695-1564-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
configuration management, active networks, network modeling, self-organizing systems, change propagation, polic, directory services |
10 | Jinlei Jiang, Guangxin Yang, Yan Wu, Meilin Shi |
CovaTM: a transaction model for cooperative applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 329-335, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
ACID, Cova, cooperation, recovery, advanced transaction model |
10 | Assem El-Ansary |
Behavioral Pattern Analysis: towards a new representation of systems requirements based on actions and events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2002 ACM Symposium on Applied Computing (SAC), March 10-14, 2002, Madrid, Spain, pp. 984-991, 2002, ACM, 1-58113-445-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
PBA, event-oriented, requirements, pattern, behavioral |
10 | Muhammad Younas 0001, Barry Eaglestone |
Ensuring Recovery for SACReD Web Transactions in the E-commerce Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 13th International Conference, DEXA 2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings, pp. 40-49, 2002, Springer, 3-540-44126-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Yunsheng Liu, GuoQiong Liao, Guohui Li, JiaLi Xia |
Relaxed Atomic Commit for Real-Time Transactions in Mobile Computing Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WAIM ![In: Advances in Web-Age Information Management, Third International Conference, WAIM 2002, Beijing, China, August 11-13, 2002, Proceedings, pp. 397-408, 2002, Springer, 3-540-44045-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Nancy A. Lynch, Dahlia Malkhi, David Ratajczak |
Atomic Data Access in Distributed Hash Tables. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPTPS ![In: Peer-to-Peer Systems, First International Workshop, IPTPS 2002, Cambridge, MA, USA, March 7-8, 2002, Revised Papers, pp. 295-305, 2002, Springer, 3-540-44179-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Lars Frank, Arindam Mukherjee |
Distributed Electronic Patient Encounter With High Performance and Availability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CBMS ![In: 15th IEEE Symposium on Computer-Based Medical Systems (CBMS 2002), 4-7 June 2002, Maribor, Slovenia, pp. 373-376, 2002, IEEE Computer Society, 0-7695-1614-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Ke Ding, Beihong Jin, Jun Wei 0001, Yulin Feng |
New Model and Scheduling Protocol for Transactional Workflows. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 26th International Computer Software and Applications Conference (COMPSAC 2002), Prolonging Software Life: Development and Redevelopment, 26-29 August 2002, Oxford, England, Proceedings, pp. 920-932, 2002, IEEE Computer Society, 0-7695-1727-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
well-formedness, locking granularity, Transactional workflow, scheduling protocol |
10 | Ren Ohmura, Nobuyuki Yamasaki, Yuichiro Anzai |
A design of the persistent operating system with non-volatile memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, pp. 149-152, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Mike P. Papazoglou |
The World of e-Business: Web-Services, Workflows, and Business Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WES ![In: Web Services, E-Business, and the Semantic Web, CAiSE 2002 International Workshop, WES 2002, Toronto, Canada, May 27-28, 2002, Revised Papers, pp. 153-173, 2002, Springer, 3-540-00198-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Muhammad Younas 0001, N. H. Shah 0002, Kuo-Ming Chao |
A Multi-agent Approach to SACReD Transactions for E-commerce Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: E-Commerce and Web Technologies, Third International Conference, EC-Web 2002, Aix-en-Provence, France, September 2-6, 2002, Proceedings, pp. 119-128, 2002, Springer, 3-540-44137-9. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Takao Komiya, Hiroyuki Ohshida, Makoto Takizawa 0001 |
Mobile Agent Model for Transaction Processing in Distributed Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICOIN (2) ![In: Information Networking, Wireless Communications Technologies and Network Applications, International Conference, ICOIN 2002, Cheju Island, Korea, January 30 - February 1, 2002, Revised Papers, Part II, pp. 703-713, 2002, Springer, 3-540-44255-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Sukumar Ghosh, Alina Bejan |
Concurrent Reading and Writing with Mobile Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWDC ![In: Distributed Computing, Mobile and Wireless Computing 4th International Workshop, IWDC 2002, Calcutta, India, December 28-31, 2002, Proceedings, pp. 67-77, 2002, Springer, 3-540-00355-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Torsten Grabs, Klemens Böhm, Hans-Jörg Schek |
High-level Parallelism in a Database Cluster: A Feasibility Study Using Document Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDE ![In: Proceedings of the 17th International Conference on Data Engineering, April 2-6, 2001, Heidelberg, Germany, pp. 121-130, 2001, IEEE Computer Society, 0-7695-1001-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Dickson K. W. Chiu |
A Three-Layer Model for Workflow Semantic Recovery in an Object-Oriented Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ER ![In: Conceptual Modeling - ER 2001, 20th International Conference on Conceptual Modeling, Yokohama, Japan, November 27-30, 2001, Proceedings, pp. 541-554, 2001, Springer, 3-540-42866-6. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Lisa Higham, Zhiying Liang |
Self-Stabilizing Minimum Spanning Tree Construction on Message-Passing Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001, Proceedings, pp. 194-208, 2001, Springer, 3-540-42605-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Faith E. Fich, Colette Johnen |
A Space Optimal, Deterministic, Self-Stabilizing, Leader Election Algorithm for Unidirectional Rings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 15th International Conference, DISC 2001, Lisbon, Portugal, October 3-5, 2001, Proceedings, pp. 224-239, 2001, Springer, 3-540-42605-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Heiko Schuldt |
Process Locking: A Protocol based on Ordered Shared Locks for the Execution of Transactional Processes. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twentieth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 21-23, 2001, Santa Barbara, California, USA, 2001, ACM, 1-58113-361-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Guandong Wang, Amitabha Das |
Models and Protocol Structures for Software Agent Based Complex E-Commerce Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EC-Web ![In: Electronic Commerce and Web Technologies, Second International Conference, EC-Web 2001 Munich, Germany, September 4-6, 2001, Proceedings, pp. 121-132, 2001, Springer, 3-540-42517-9. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
transaction protocol, electronic commerce, multi-agents |
10 | Renato T. N. Villela, Rodrigo Fernandes de Mello, Célio Estevan Morón |
An Environment for Generating Visual Applications Involving Real-Time Remote Procedure Calls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WORDS ![In: 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 8-10 January 2001, Rome, Italy, pp. 233-239, 2001, IEEE Computer Society, 0-7695-1068-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Iluju Kiringa |
Simulation of Advanced Transaction Models Using GOLOG. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DBPL ![In: Database Programming Languages, 8th International Workshop, DBPL 2001, Frascati, Italy, September 8-10, 2001, Revised Papers, pp. 318-341, 2001, Springer, 3-540-44080-1. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Jayant R. Haritsa, Krithi Ramamritham, Ramesh Gupta |
The PROMPT Real-Time Commit Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 11(2), pp. 160-181, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Distributed real-time database, three phase commit, performance evaluation, commit protocol, priority inheritance, two phase commit |
10 | Claus Hagen, Gustavo Alonso |
Exception Handling in Workflow Management Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 26(10), pp. 943-958, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Dependability, exception handling, workflow management, process support systems |
10 | Indrajit Ray, Luigi V. Mancini, Sushil Jajodia, Elisa Bertino |
ASEP: A Secure and Flexible Commit Protocol for MLS Distributed Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Knowl. Data Eng. ![In: IEEE Trans. Knowl. Data Eng. 12(6), pp. 880-899, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
security, distributed databases, Database management systems, transaction processing, multilevel security, commit protocol |
10 | Steve A. Schneider |
Abstraction and Testing in CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Formal Aspects Comput. ![In: Formal Aspects Comput. 12(3), pp. 165-181, 2000. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Testing, Abstraction, Process algebra, CSP, Operational semantics, Failures semantics |
10 | Dmitri Chkliaev, Jozef Hooman, Peter van der Stok |
Mechanical Verification of Transaction Processing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: 3rd IEEE International Conference on Formal Engineering Methods, ICFEM 2000, York, England, UK, September 4-7, 2000, Proceedings, pp. 89-100, 2000, IEEE Computer Society, 0-7695-0822-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Alexander B. Romanovsky, Jörg Kienzle |
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Exception Handling Techniques ![In: Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop), pp. 147-164, 2000, Springer, 3-540-41952-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Juha Puustjärvi, Harri Laine |
WorkMan - A Transactional Workflow Prototype. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 11th International Conference, DEXA 2000, London, UK, September 4-8, 2000, Proceedings, pp. 212-221, 2000, Springer, 3-540-67978-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Jarogniew Rykowski, Waldemar Wieczerzycki |
Generic Architecture of Web Servers Supporting Cooperative Work. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DEXA ![In: Database and Expert Systems Applications, 11th International Conference, DEXA 2000, London, UK, September 4-8, 2000, Proceedings, pp. 909-918, 2000, Springer, 3-540-67978-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Christoph Liebig, Stefan Tai |
Advanced Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDO ![In: Engineering Distributed Objects, Second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000, Revised Papers, pp. 188-193, 2000, Springer, 3-540-41792-3. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | James H. Anderson, Yong-Jik Kim |
Adaptive Mutual Exclusion with Local Spinning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 14th International Conference, DISC 2000, Toledo, Spain, October 4-6, 2000, Proceedings, pp. 29-43, 2000, Springer, 3-540-41143-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Muhammad Younas 0001, Barry Eaglestone, Robert Holton |
A Review of Multidatabase Transactions on The Web: From the ACID to the SACReD. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BNCOD ![In: Advances in Databases, 17th British National Conferenc on Databases, BNCOD 17, Exeter, UK, July 3-5, 2000, Proceedings, pp. 140-152, 2000, Springer, 3-540-67743-7. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Gurudatt Shenoy, Suresh K. Satapati, Riccardo Bettati |
HYDRANET-FT: Network Support for Dependable Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 20th International Conference on Distributed Computing Systems, Taipei, Taiwan, April 10-13, 2000, pp. 699-706, 2000, IEEE Computer Society, 0-7695-0601-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Arend Rensink |
Action Contraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings, pp. 290-304, 2000, Springer, 3-540-67897-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Darrell C. Anderson, Jeffrey S. Chase |
Failure-Atomic File Access in an Interposed Network Storage System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPDC ![In: Proceedings of the Ninth IEEE International Symposium on High Performance Distributed Computing, HPDC'00, Pittsburgh, Pennsylvania, USA, August 1-4, 2000., pp. 157-164, 2000, IEEE Computer Society, 0-7695-0783-2. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Ralph-Johan Back, Joakim von Wright |
Reasoning Algebraically about Loops. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 36(4), pp. 295-334, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Ralf Schenkel, Gerhard Weikum, Norbert Weißenberg, Xuequn Wu |
Federated Transaction Management with Snapshot Isolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMLDO - Selected Papers ![In: Transactions and Database Dynamics, Eight International Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Germany, September 27-30, 1999, Selected Papers, pp. 1-25, 1999, Springer, 3-540-67201-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Heiko Schuldt, Andrei Popovici, Hans-Jörg Schek |
Execution Guarantees in Electronic Commerce Payments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMLDO - Selected Papers ![In: Transactions and Database Dynamics, Eight International Workshop on Foundations of Models and Languages for Data and Objects, Schloß Dagstuhl, Germany, September 27-30, 1999, Selected Papers, pp. 193-202, 1999, Springer, 3-540-67201-X. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Heiko Schuldt, Hans-Jörg Schek, Gustavo Alonso |
Transactional Coordination Agents for Composite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IDEAS ![In: 1999 International Database Engineering and Applications Symposium, IDEAS 1999, Montreal, Canada, August 2-4, 1999, Proceedings, pp. 321-331, 1999, IEEE Computer Society, 0-7695-0265-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Database and Agent Technology, Interoperability, Coordination, Transaction Processing |
10 | Steve A. Schneider |
Abstraction and Testing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I, pp. 738-757, 1999, Springer, 3-540-66587-0. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | John Derrick, Eerke A. Boiten |
Non-atomic Refinement in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Congress on Formal Methods ![In: FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II, pp. 1477-1496, 1999, Springer, 3-540-66588-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | James H. Anderson, Yong-Jik Kim |
Fast and Scalable Mutual Exclusion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
DISC ![In: Distributed Computing, 13th International Symposium, Bratislava, Slovak Republic, September 27-29, 1999, Proceedings, pp. 180-194, 1999, Springer, 3-540-66531-5. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Olin Shivers, James W. Clark, Roland McGrath |
Atomic Heap Transactions and Fine-grain Interrupts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999., pp. 48-59, 1999, ACM, 1-58113-111-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Claus Hagen, Gustavo Alonso |
Beyond the Black Box: Event-based Inter-Process Communication in Process Support Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: Proceedings of the 19th International Conference on Distributed Computing Systems, Austin, TX, USA, May 31 - June 4, 1999, pp. 450-457, 1999, IEEE Computer Society, 0-7695-0222-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Transactions, Events, Workflow Management, Process Support |
10 | Weiming Zhang, Weijia Jia 0001 |
Object-Oriented Design of Adaptive Multicast Communications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1999 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '99), 23-25 June 1999, Fremantle, Australia, pp. 48-53, 1999, IEEE Computer Society, 0-7695-0231-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Group protocol, Quality of Service, object-oriented design, Multicast communication |
10 | Todd A. Anderson 0001, Yuri Breitbart, Henry F. Korth, Avishai Wool |
Replication, Consistency, and Practicality: Are These Mutually Exclusive? ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: SIGMOD 1998, Proceedings ACM SIGMOD International Conference on Management of Data, June 2-4, 1998, Seattle, Washington, USA., pp. 484-495, 1998, ACM Press, 0-89791-995-5. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Alex Garthwaite, Scott Nettles |
Transactions for Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCL ![In: Proceedings of the 1998 International Conference on Computer Languages, ICCL 1998, Chicago, IL, USA, May 14-16, 1998, pp. 16-27, 1998, IEEE Computer Society, 0-8186-8454-2. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Java, Garbage Collection, Transactions, Persistence |
10 | Shlomi Dolev, Amos Israeli, Shlomo Moran |
Uniform Dynamic Self-Stabilizing Leader Election. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 8(4), pp. 424-440, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
distributed algorithms, synchronization, leader election, Self-stabilizing systems, randomized distributed algorithms |
10 | Hardeep Singh, Jun Han |
Exploiting user-group relationships for increasing concurrency in software engineering environments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEE ![In: Proceedings of the 8th Conference on Software Engineering Environments, SEE 1997, Cottbus, Germany, April 8-9, 1997, pp. 145-153, 1997, IEEE Computer Society, 0-8186-8019-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Edgar Nett, Michael Mock |
A Recovery Model for Extended Real-Time Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 2nd High-Assurance Systems Engineering Workshop (HASE '97), August 11-12, 1997, Washington, DC, USA, Proceedings, pp. 124-129, 1997, IEEE Computer Society, 0-8186-7971-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Weijia Jia 0001, Chan-Hee Lee, Xiaohua Jia, Jiannong Cao 0001 |
Implementation of Efficient and Reliable Multicast Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APDC ![In: Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), March 19-21, 1997, Shanghai, China, pp. 253-260, 1997, IEEE Computer Society, 0-8186-7876-3. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Cristian Ungureanu, Benjamin Goldberg |
Formal Models of Distributed Memory Management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP '97), Amsterdam, The Netherlands, June 9-11, 1997., pp. 280-291, 1997, ACM, 0-89791-918-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Uwe Nestmann, Benjamin C. Pierce |
Decoding Choice Encodings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONCUR ![In: CONCUR '96, Concurrency Theory, 7th International Conference, Pisa, Italy, August 26-29, 1996, Proceedings, pp. 179-194, 1996, Springer, 3-540-61604-7. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Weijia Jia 0001, Edgar Nett, Jiannong Cao 0001, Jörg Kaiser |
Verifications of RMP: An Efficient Reliable Multicast Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPAN ![In: 1996 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN '96), June 12-14, 1996, Beijing, China, pp. 388-393, 1996, IEEE Computer Society, 0-8186-7460-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Atomic multicast, fault-tolerance, distributed systems, communication protocols |
10 | Yong-Ik Yoon 0002, Mikyung Han, Ju-Hyun Cho |
Real-Time Commit Protocol For Distributed Real-Time Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada, pp. 221-225, 1996, IEEE Computer Society, 0-8186-7614-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Qiming Chen, Umeshwar Dayal |
Commit Scope Control in Nested Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT ![In: Advances in Database Technology - EDBT'96, 5th International Conference on Extending Database Technology, Avignon, France, March 25-29, 1996, Proceedings, pp. 621-624, 1996, Springer, 3-540-61057-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Xiaohua Jia |
A Total Ordering Multicast Protocol Using Propagation Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 6(6), pp. 617-627, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Shlomi Dolev, Amos Israeli, Shlomo Moran |
Analyzing Expected Time by Scheduler-Luck Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 21(5), pp. 429-439, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
leader election, Self-stabilizing systems, randomized distributed algorithms |
10 | Stanley M. Sutton Jr., Dennis Heimbigner, Leon J. Osterweil |
APPL/A: A Language for Software Process Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Softw. Eng. Methodol. ![In: ACM Trans. Softw. Eng. Methodol. 4(3), pp. 221-286, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
multiparadigm programming languages, software process programming, Ada, transaction management, consistency management, APPL |
10 | Cui Zhang, Brian R. Becker, Mark R. Heckman, Karl N. Levitt, Ronald A. Olsson |
A Hierarchical Method for Reasoning about Distributed Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TPHOLs ![In: Higher Order Logic Theorem Proving and Its Applications, 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995, Proceedings, pp. 385-400, 1995, Springer, 3-540-60275-5. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Soon Myoung Chung, Pyeong S. Mah, Junguk L. Kim |
Management of Flexible Transactions Using Semantics in Multidatabase Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: 19th International Computer Software and Applications Conference (COMPSAC'95), August 9-11, 1995, Dallas, Texas, USA, pp. 134-141, 1995, IEEE Computer Society, 0-8186-7119-X. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
semantics, concurrency control, transaction management, Multidatabase |
10 | Mahadev Satyanarayanan, Henry H. Mashburn, Puneet Kumar 0001, David C. Steere, James J. Kistler |
Lightweight Recoverable Virtual Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 12(1), pp. 33-57, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
Camelot, RVM, scalability, throughput, Unix, persistence, paging, logging, truncation, Coda |
10 | Pei Cao, Swee Boon Lim, Shivakumar Venkataraman, John Wilkes |
The TickerTAIP Parallel RAID Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 12(3), pp. 236-269, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
RAID disk array, decentralized parity calculation, parallel controller, fault tolerance, distributed controller, disk scheduling, performance simulation |
10 | Nandit Soparkar, Eliezer Levy, Henry F. Korth, Abraham Silberschatz |
Adaptive Commitment for Distributed Real-Time Transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CIKM ![In: Proceedings of the Third International Conference on Information and Knowledge Management (CIKM'94), Gaithersburg, Maryland, USA, November 29 - December 2, 1994, pp. 187-194, 1994, ACM. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi 0001 |
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ALP ![In: Algebraic and Logic Programming, 4th International Conference, ALP'94, Madid, Spain, September 14-16, 1994, Proceedings, pp. 114-132, 1994, Springer, 3-540-58431-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Robert Simon, Robert J. Sclabassi, Taieb Znati |
Communication Control in Computer Supported Cooperative Work Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: CSCW '94, Proceedings of the Conference on Computer Supported Cooperative Work, Chapel Hill, NC, USA, October 22-26, 1994, pp. 311-321, 1994, ACM, 0-89791-689-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
network connection management, multimedia, CSCW, group communication |
10 | François Pacull, Alain Sandoz, André Schiper |
Duplex: A Distributed Collaborative Editing Environment in Large Scale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSCW ![In: CSCW '94, Proceedings of the Conference on Computer Supported Cooperative Work, Chapel Hill, NC, USA, October 22-26, 1994, pp. 165-173, 1994, ACM, 0-89791-689-1. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
concurrency control, large scale networks, collaborative editing, distributed groupware |
10 | Kurt Rothermel, Stefan Pappe |
Open Commit Protocols Tolerating Commission Failures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 18(2), pp. 289-332, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
open systems, commit protocols |
10 | K. Ravindran, X. T. Lin |
Structural Complexity and Execution Efficiency of Distributed Application Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM ![In: Proceedings of the ACM SIGCOMM 1993 Conference on Communications Architectures, Protocols and Applications, San Francisco, CA, USA, September 13-17, 1993, pp. 160-169, 1993, ACM, 0-89791-619-0. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Svend Frølund, Gul Agha |
A Language Framework for Multi-Object Coordination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'93 - Object-Oriented Programming, 7th European Conference, Kaiserslautern, Germany, July 26-30, 1993, Proceedings, pp. 346-360, 1993, Springer, 3-540-57120-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Mahadev Satyanarayanan, Henry H. Mashburn, Puneet Kumar 0001, David C. Steere, James J. Kistler |
Lightweight Recoverable Virtual Memory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSP ![In: Proceedings of the Fourteenth ACM Symposium on Operating System Principles, SOSP 1993, The Grove Park Inn and Country Club, Asheville, North Carolina, USA, December 5-8, 1993, pp. 146-160, 1993, ACM, 0-89791-632-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
UNIX |
10 | Mads Nygård, Sintef Delab |
Article-Acquisition: A Scenario for Non-Serializability in a Distributed Database. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE ![In: PARLE '93, Parallel Architectures and Languages Europe, 5th International PARLE Conference, Munich, Germany, June 14-17, 1993, Proceedings, pp. 704-707, 1993, Springer, 3-540-56891-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Gopi K. Attaluri, Dexter P. Bradshaw |
Architecture for transaction management in the CORDS multidatabase service. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, October 24-28, 1993, Toronto, Ontario, Canada, 2 Volumes, pp. 873-887, 1993, IBM. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
10 | Sheung-lun Hung, Kam-yiu Lam |
Locking Protocols for Concurrency Control in Real-time Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Rec. ![In: SIGMOD Rec. 21(4), pp. 22-27, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Jiannong Cao 0001, K. C. Wang |
An Abstract Model of Rollback Recovery Control in Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS Oper. Syst. Rev. ![In: ACM SIGOPS Oper. Syst. Rev. 26(4), pp. 62-76, 1992. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Rachid Guerraoui, Riccardo Capobianchi, Agnes Lanusse, Pierre Roux |
Nesting Actions through Asynchronous Message Passing: the ACS Protocol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29 - July 3, 1992, Proceedings, pp. 170-184, 1992, Springer, 3-540-55668-0. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Kenneth P. Birman |
Maintaining consistency in distributed systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGOPS European Workshop ![In: Proceedings of the 5th ACM SIGOPS European Workshop: Models and Paradigms for Distributed Systems Structuring, 1992, Mont Saint-Michel, France, September 21-23, 1992, 1992, ACM. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Yuri Breitbart, Hector Garcia-Molina, Abraham Silberschatz |
Overview of multidatabase transaction management. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1992 Conference of the Centre for Advanced Studies on Collaborative Research, November 9-12, 1992, Toronto, Ontario, Canada, 2 Volumes, pp. 23-56, 1992, IBM. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
10 | Ming-Ling Lo, Chinya V. Ravishankar |
A concurrency control protocol for nested transactions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1992 Conference of the Centre for Advanced Studies on Collaborative Research, November 9-12, 1992, Toronto, Ontario, Canada, 2 Volumes, pp. 67-80, 1992, IBM. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
10 | John M. Mellor-Crummey, Michael L. Scott |
Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Comput. Syst. ![In: ACM Trans. Comput. Syst. 9(1), pp. 21-65, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Ambuj K. Singh |
Program Refinement in Fair Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARLE (2) ![In: PARLE '91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings, pp. 128-147, 1991, Springer, 3-540-54152-7. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
10 | William E. Weihl |
Linguistic Support for Atomic Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 12(2), pp. 178-202, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
10 | E. Pascal Gribomont |
Development of Concurrent Systems by Incremental Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, pp. 161-176, 1990, Springer, 3-540-52592-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Divyakant Agrawal, Amr El Abbadi |
Localized-Access Protocols for Replicated Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WDAG ![In: Distributed Algorithms, 4th International Workshop, WDAG '90, Bari, Italy, September 24-26, 1990, Proceedings, pp. 245-262, 1990, Springer, 3-540-54099-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Maurice Herlihy, Martin S. McKendry |
Timestamp-Based Orphan Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 15(7), pp. 825-831, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
timestamp based orphan elimination, distributed transaction system, aborted transaction, two-phase protocols, real-time clocks, concurrency control method, distributed processing, concurrency control, database management systems, transaction processing |