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. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Christof Fetzer, Karin Högstedt, Pascal Felber |
Automatic Detection and Masking of Non-Atomic Exception Handling. |
DSN |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Shing-Tsaan Huang, Su-Shen Hung |
Self-Stabilizing Token Circulation on Uniform Trees by Using Edge-Tokens. |
Self-Stabilizing Systems |
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. |
CAiSE |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Masashi Shiraishi, Tomoya Enokido, Makoto Takizawa 0001 |
Design and Implementation of Transactional Agents. |
WSTFES |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Liyin Xue, Mehmet A. Orgun |
An Exclusive Version Locking Scheme in Internet-based Real-time Group Editors. |
SAINT |
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. |
DEXA Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano |
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Feilong Tang, Minglu Li 0001, Jian Cao 0001, Qianni Deng |
Coordinating Business Transaction for Grid Service. |
GCC (1) |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Yuetang Deng, Phyllis G. Frankl, Zhongqiang Chen |
Testing Database Transaction Concurrency. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
10 | Sangjin Kim, Heekuck Oh |
A new electronic check system with reusable refunds. |
Int. J. Inf. Sec. |
2002 |
DBLP DOI BibTeX RDF |
Electronic check, Reusable refund, Electronic cash |
10 | Synnöve Kekkonen-Moneta |
Torus orientation. |
Distributed Comput. |
2002 |
DBLP DOI BibTeX RDF |
Randomized scheduler, Self-stabilization, Orientation, Randomized protocol |
10 | Scott D. Stoller |
Model-checking multi-threaded distributed Java programs. |
Int. J. Softw. Tools Technol. Transf. |
2002 |
DBLP DOI BibTeX RDF |
Java, Model checking, Reduction, Locks, Partial-order methods |
10 | J Strother Moore, George Porter |
The apprentice challenge. |
ACM Trans. Program. Lang. Syst. |
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. |
ICFEM |
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. |
DANCE |
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. |
SAC |
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. |
SAC |
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. |
DEXA |
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. |
WAIM |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Nancy A. Lynch, Dahlia Malkhi, David Ratajczak |
Atomic Data Access in Distributed Hash Tables. |
IPTPS |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Lars Frank, Arindam Mukherjee |
Distributed Electronic Patient Encounter With High Performance and Availability. |
CBMS |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Ke Ding, Beihong Jin, Jun Wei 0001, Yulin Feng |
New Model and Scheduling Protocol for Transactional Workflows. |
COMPSAC |
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. |
ACM SIGOPS European Workshop |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Mike P. Papazoglou |
The World of e-Business: Web-Services, Workflows, and Business Transactions. |
WES |
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. |
EC-Web |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Takao Komiya, Hiroyuki Ohshida, Makoto Takizawa 0001 |
Mobile Agent Model for Transaction Processing in Distributed Database Systems. |
ICOIN (2) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Sukumar Ghosh, Alina Bejan |
Concurrent Reading and Writing with Mobile Agents. |
IWDC |
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. |
ICDE |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Dickson K. W. Chiu |
A Three-Layer Model for Workflow Semantic Recovery in an Object-Oriented Environment. |
ER |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Lisa Higham, Zhiying Liang |
Self-Stabilizing Minimum Spanning Tree Construction on Message-Passing Networks. |
DISC |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Faith E. Fich, Colette Johnen |
A Space Optimal, Deterministic, Self-Stabilizing, Leader Election Algorithm for Unidirectional Rings. |
DISC |
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) |
PODS |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Guandong Wang, Amitabha Das |
Models and Protocol Structures for Software Agent Based Complex E-Commerce Transactions. |
EC-Web |
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. |
WORDS |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Iluju Kiringa |
Simulation of Advanced Transaction Models Using GOLOG. |
DBPL |
2001 |
DBLP DOI BibTeX RDF |
|
10 | Jayant R. Haritsa, Krithi Ramamritham, Ramesh Gupta |
The PROMPT Real-Time Commit Protocol. |
IEEE Trans. Parallel Distributed Syst. |
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. |
IEEE Trans. Software Eng. |
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. |
IEEE Trans. Knowl. Data Eng. |
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. |
Formal Aspects Comput. |
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. |
ICFEM |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Alexander B. Romanovsky, Jörg Kienzle |
Action-Oriented Exception Handling in Cooperative and Competitive Concurrent Object-Oriented Systems. |
Advances in Exception Handling Techniques |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Juha Puustjärvi, Harri Laine |
WorkMan - A Transactional Workflow Prototype. |
DEXA |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Jarogniew Rykowski, Waldemar Wieczerzycki |
Generic Architecture of Web Servers Supporting Cooperative Work. |
DEXA |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Christoph Liebig, Stefan Tai |
Advanced Transactions. |
EDO |
2000 |
DBLP DOI BibTeX RDF |
|
10 | James H. Anderson, Yong-Jik Kim |
Adaptive Mutual Exclusion with Local Spinning. |
DISC |
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. |
BNCOD |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Gurudatt Shenoy, Suresh K. Satapati, Riccardo Bettati |
HYDRANET-FT: Network Support for Dependable Services. |
ICDCS |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Arend Rensink |
Action Contraction. |
CONCUR |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Darrell C. Anderson, Jeffrey S. Chase |
Failure-Atomic File Access in an Interposed Network Storage System. |
HPDC |
2000 |
DBLP DOI BibTeX RDF |
|
10 | Ralph-Johan Back, Joakim von Wright |
Reasoning Algebraically about Loops. |
Acta Informatica |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Ralf Schenkel, Gerhard Weikum, Norbert Weißenberg, Xuequn Wu |
Federated Transaction Management with Snapshot Isolation. |
FMLDO - Selected Papers |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Heiko Schuldt, Andrei Popovici, Hans-Jörg Schek |
Execution Guarantees in Electronic Commerce Payments. |
FMLDO - Selected Papers |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Heiko Schuldt, Hans-Jörg Schek, Gustavo Alonso |
Transactional Coordination Agents for Composite Systems. |
IDEAS |
1999 |
DBLP DOI BibTeX RDF |
Database and Agent Technology, Interoperability, Coordination, Transaction Processing |
10 | Steve A. Schneider |
Abstraction and Testing. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
10 | John Derrick, Eerke A. Boiten |
Non-atomic Refinement in Z. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
10 | James H. Anderson, Yong-Jik Kim |
Fast and Scalable Mutual Exclusion. |
DISC |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Olin Shivers, James W. Clark, Roland McGrath |
Atomic Heap Transactions and Fine-grain Interrupts. |
ICFP |
1999 |
DBLP DOI BibTeX RDF |
|
10 | Claus Hagen, Gustavo Alonso |
Beyond the Black Box: Event-based Inter-Process Communication in Process Support Systems. |
ICDCS |
1999 |
DBLP DOI BibTeX RDF |
Transactions, Events, Workflow Management, Process Support |
10 | Weiming Zhang, Weijia Jia 0001 |
Object-Oriented Design of Adaptive Multicast Communications. |
ISPAN |
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? |
SIGMOD Conference |
1998 |
DBLP DOI BibTeX RDF |
|
10 | Alex Garthwaite, Scott Nettles |
Transactions for Java. |
ICCL |
1998 |
DBLP DOI BibTeX RDF |
Java, Garbage Collection, Transactions, Persistence |
10 | Shlomi Dolev, Amos Israeli, Shlomo Moran |
Uniform Dynamic Self-Stabilizing Leader Election. |
IEEE Trans. Parallel Distributed Syst. |
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. |
SEE |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Edgar Nett, Michael Mock |
A Recovery Model for Extended Real-Time Transactions. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Weijia Jia 0001, Chan-Hee Lee, Xiaohua Jia, Jiannong Cao 0001 |
Implementation of Efficient and Reliable Multicast Servers. |
APDC |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Cristian Ungureanu, Benjamin Goldberg |
Formal Models of Distributed Memory Management. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
10 | Uwe Nestmann, Benjamin C. Pierce |
Decoding Choice Encodings. |
CONCUR |
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. |
ISPAN |
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. |
ICECCS |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Qiming Chen, Umeshwar Dayal |
Commit Scope Control in Nested Transactions. |
EDBT |
1996 |
DBLP DOI BibTeX RDF |
|
10 | Xiaohua Jia |
A Total Ordering Multicast Protocol Using Propagation Trees. |
IEEE Trans. Parallel Distributed Syst. |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Shlomi Dolev, Amos Israeli, Shlomo Moran |
Analyzing Expected Time by Scheduler-Luck Games. |
IEEE Trans. Software Eng. |
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. |
ACM Trans. Softw. Eng. Methodol. |
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. |
TPHOLs |
1995 |
DBLP DOI BibTeX RDF |
|
10 | Soon Myoung Chung, Pyeong S. Mah, Junguk L. Kim |
Management of Flexible Transactions Using Semantics in Multidatabase Systems. |
COMPSAC |
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. |
ACM Trans. Comput. Syst. |
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. |
ACM Trans. Comput. Syst. |
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. |
CIKM |
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. |
ALP |
1994 |
DBLP DOI BibTeX RDF |
|
10 | Robert Simon, Robert J. Sclabassi, Taieb Znati |
Communication Control in Computer Supported Cooperative Work Systems. |
CSCW |
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. |
CSCW |
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. |
ACM Trans. Database Syst. |
1993 |
DBLP DOI BibTeX RDF |
open systems, commit protocols |
10 | K. Ravindran, X. T. Lin |
Structural Complexity and Execution Efficiency of Distributed Application Protocols. |
SIGCOMM |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Svend Frølund, Gul Agha |
A Language Framework for Multi-Object Coordination. |
ECOOP |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Mahadev Satyanarayanan, Henry H. Mashburn, Puneet Kumar 0001, David C. Steere, James J. Kistler |
Lightweight Recoverable Virtual Memory. |
SOSP |
1993 |
DBLP DOI BibTeX RDF |
UNIX |
10 | Mads Nygård, Sintef Delab |
Article-Acquisition: A Scenario for Non-Serializability in a Distributed Database. |
PARLE |
1993 |
DBLP DOI BibTeX RDF |
|
10 | Gopi K. Attaluri, Dexter P. Bradshaw |
Architecture for transaction management in the CORDS multidatabase service. |
CASCON |
1993 |
DBLP BibTeX RDF |
|
10 | Sheung-lun Hung, Kam-yiu Lam |
Locking Protocols for Concurrency Control in Real-time Database Systems. |
SIGMOD Rec. |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Jiannong Cao 0001, K. C. Wang |
An Abstract Model of Rollback Recovery Control in Distributed Systems. |
ACM SIGOPS Oper. Syst. Rev. |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Rachid Guerraoui, Riccardo Capobianchi, Agnes Lanusse, Pierre Roux |
Nesting Actions through Asynchronous Message Passing: the ACS Protocol. |
ECOOP |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Kenneth P. Birman |
Maintaining consistency in distributed systems. |
ACM SIGOPS European Workshop |
1992 |
DBLP DOI BibTeX RDF |
|
10 | Yuri Breitbart, Hector Garcia-Molina, Abraham Silberschatz |
Overview of multidatabase transaction management. |
CASCON |
1992 |
DBLP BibTeX RDF |
|
10 | Ming-Ling Lo, Chinya V. Ravishankar |
A concurrency control protocol for nested transactions. |
CASCON |
1992 |
DBLP BibTeX RDF |
|
10 | John M. Mellor-Crummey, Michael L. Scott |
Algorithms for Scalable Synchronization on Shared-Memory Multiprocessors. |
ACM Trans. Comput. Syst. |
1991 |
DBLP DOI BibTeX RDF |
|
10 | Ambuj K. Singh |
Program Refinement in Fair Transition Systems. |
PARLE (2) |
1991 |
DBLP DOI BibTeX RDF |
|
10 | William E. Weihl |
Linguistic Support for Atomic Data Types. |
ACM Trans. Program. Lang. Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
10 | E. Pascal Gribomont |
Development of Concurrent Systems by Incremental Transformations. |
ESOP |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Divyakant Agrawal, Amr El Abbadi |
Localized-Access Protocols for Replicated Databases. |
WDAG |
1990 |
DBLP DOI BibTeX RDF |
|
10 | Maurice Herlihy, Martin S. McKendry |
Timestamp-Based Orphan Elimination. |
IEEE Trans. Software Eng. |
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 |