Experience with transactions in QuickSilver
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
An architecture for multi-user software development environments
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Open commit protocols tolerating commission failures
ACM Transactions on Database Systems (TODS)
Precision locking for nested transaction systems
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Composing first-class transactions
ACM Transactions on Programming Languages and Systems (TOPLAS)
An architecture for integrating concurrency control into environment frameworks
Proceedings of the 17th international conference on Software engineering
An advanced commit protocol for MLS distributed database systems
CCS '96 Proceedings of the 3rd ACM conference on Computer and communications security
Class Library Support for Workflow Environments and Applications
IEEE Transactions on Computers
A distributed object-oriented framework for dependable multiparty interactions
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Flexible Transaction Dependencies in Database Systems
Distributed and Parallel Databases
A file system interface for concurrent access
EW 6 Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs
Using dynamic atomic actions to build fault tolerant systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Concurrency control issues in nested transactions
The VLDB Journal — The International Journal on Very Large Data Bases
ASEP: A Secure and Flexible Commit Protocol for MLS Distributed Database Systems
IEEE Transactions on Knowledge and Data Engineering
Implementing Atomicity in Two Systems: Techniques, Tradeoffs, and Experience
IEEE Transactions on Software Engineering
Exception handling and resolution for transactional object groups
Advances in exception handling techniques
Nested Transactions with Integrity Constraints
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Concurrency Control in Transactional Drago
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Exception Handling and Resolution for Transactional Object Groups
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
The Double Life of the Transaction Abstraction: Fundamental Principle and Evolving System Concept
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
A type and effect system for atomicity
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Object-oriented support for specification of distributed protocols
IWOOOS '96 Proceedings of the 5th International Workshop on Object Orientation in Operating Systems (IWOOOS '96)
A Framework for Heterogeneous Concurrency Control Policies in Distributed Applications
IWSSD '96 Proceedings of the 8th International Workshop on Software Specification and Design
Towards a new distributed programming environment (CORDS)
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Transaction management in Hermes
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Directory requirements for a multidatabase service
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Atomizer: a dynamic atomicity checker for multithreaded programs
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Exploiting purity for atomicity
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
TLDI '05 Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation
Exploiting Purity for Atomicity
IEEE Transactions on Software Engineering
Isolation-only transactions by typing and versioning
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
A transactional object calculus
Science of Computer Programming
The Atomos transactional programming language
Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation
Secure coprocessors in electronic commerce applications
WOEC'95 Proceedings of the 1st conference on USENIX Workshop on Electronic Commerce - Volume 1
A dossier driven persistent objects facility
CTEC'94 Proceedings of the 6th conference on USENIX Sixth C++ Technical Conference - Volume 6
Stasis: flexible transactional storage
OSDI '06 Proceedings of the 7th symposium on Operating systems design and implementation
Atomizer: A dynamic atomicity checker for multithreaded programs
Science of Computer Programming
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Types for atomicity: Static checking and inference for Java
ACM Transactions on Programming Languages and Systems (TOPLAS)
Transactional correctness for secure nested transactions
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Hi-index | 0.00 |