Search results for "atomicity"

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