The overhead of locking (and commit) protocols in distributed databases
ACM Transactions on Database Systems (TODS)
A knowledge-theoretic analysis of atomic commitment protocols
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Extending the relational algebra to support transaction time
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A theory of reliability in database systems
Journal of the ACM (JACM)
Enhancing availability in distributed real-time databases
ACM SIGMOD Record - Special Issue on Real-Time Database Systems
Synchronizing Transactions on Objects
IEEE Transactions on Computers
Deadlock detection in distributed databases
ACM Computing Surveys (CSUR)
A survey of process migration mechanisms
ACM SIGOPS Operating Systems Review
Single-Site and Distributed Optimistic Protocols for Concurrency Control
IEEE Transactions on Software Engineering
The group paradigm for concurrency control
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Commitment in a partitioned distributed database
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Formal model of correctness without serializabilty
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
Commutativity-Based Concurrency Control for Abstract Data Types
IEEE Transactions on Computers
A model for concurrency in nested transactions systems
Journal of the ACM (JACM)
The relation between problems in large-scale concurrent systems and distributed databases
DPDS '88 Proceedings of the first international symposium on Databases in parallel and distributed systems
Maintaining availability in partitioned replicated databases
ACM Transactions on Database Systems (TODS)
Modeling and simulation of LAN DBMS performance
ACM SIGSIM Simulation Digest
A distributed database simulation language
ACM SIGSIM Simulation Digest
Concurrency control in groupware systems
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Modular synchronization in multiversion databases: version control and concurrency control
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
On Distributing JASMIN's Optimistic Multiversioning Page Manager
IEEE Transactions on Software Engineering
Performance Considerations for an Operating System Transaction Manager
IEEE Transactions on Software Engineering
Concurrency Control in Distributed Databases Through Time Intervals and Short-Term Locks
IEEE Transactions on Software Engineering
Estimating the Reliability of Regeneration-Based Replica Control Protocols
IEEE Transactions on Computers
A Recursive Solution Method to Analyze the Performance of Static Locking Systems
IEEE Transactions on Software Engineering
Multiversion Cautious Schedulers for Database Concurrency Control
IEEE Transactions on Software Engineering
Dynamic voting algorithms for maintaining the consistency of a replicated database
ACM Transactions on Database Systems (TODS)
The five color concurrency control protocol: non-two-phase locking in general databases
ACM Transactions on Database Systems (TODS)
Quasi serializability: a correctness criterion for global concurrency control in InterBase
VLDB '89 Proceedings of the 15th international conference on Very large data bases
On correctly configuring versioned objects
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Transaction processing monitors
Communications of the ACM
Distributed variable server for atomic unification
PODC '90 Proceedings of the ninth annual ACM symposium on Principles of distributed computing
Distributed file systems: concepts and examples
ACM Computing Surveys (CSUR)
Implementing recoverable requests using queues
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Concurrency control in multilevel-secure databases based on replicated architecture
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Performance evaluation of semantics-based multilevel concurrency control protocols
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
System integration in multidatabases
SIGSMALL '90 Proceedings of the 1990 ACM SIGSMALL/PC symposium on Small systems
Understanding fault-tolerant distributed systems
Communications of the ACM
Principles and realization strategies of multilevel transaction management
ACM Transactions on Database Systems (TODS)
Combining tentative and definite executions for very fast dependable parallel computing
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Management of a remote backup copy for disaster recovery
ACM Transactions on Database Systems (TODS)
Simplification rules and complete axiomatization for relational update transactions
ACM Transactions on Database Systems (TODS)
A theory of relaxed atomicity (extended abstract)
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Using process groups to implement failure detection in asynchronous environments
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Sequential consistency versus linearizability (extended abstract)
SPAA '91 Proceedings of the third annual ACM symposium on Parallel algorithms and architectures
Non-deterministic queue operations
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Conflict detection tradeoffs for replicated data
ACM Transactions on Database Systems (TODS)
HYDRO: a heterogeneous distributed database system
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
An optimistic commit protocol for distributed transaction management
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Extracting concurrency from objects: a methodology
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Data caching tradeoffs in client-server DBMS architectures
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Cache consistency and concurrency control in a client/server DBMS architecture
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Replica control in distributed systems: as asynchronous approach
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Concurrency control in advanced database applications
ACM Computing Surveys (CSUR)
ACM Transactions on Computer Systems (TOCS)
Replication in the harp file system
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
ACM SIGART Bulletin - Special issue on implemented knowledge representation and reasoning systems
Distributed indexing: a scalable mechanism for distributed information retrieval
SIGIR '91 Proceedings of the 14th annual international ACM SIGIR conference on Research and development in information retrieval
IEEE Transactions on Computers
On rigorous Transaction Scheduling
IEEE Transactions on Software Engineering
ACM Transactions on Database Systems (TODS)
Semantics-based concurrency control: beyond commutativity
ACM Transactions on Database Systems (TODS)
An object-based programming model for shared data
ACM Transactions on Programming Languages and Systems (TOPLAS)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Analysis of Hybrid Concurrency Control Schemes for a High Data Contention Environment
IEEE Transactions on Software Engineering
The DIAMOND security policy for object-oriented databases
SAC '92 Proceedings of the 1992 ACM/SIGAPP symposium on Applied computing: technological challenges of the 1990's
Using delayed commitment in locking protocols for real-time databases
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Crash recovery in client-server EXODUS
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
MLR: a recovery method for multi-level systems
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Evaluation of remote backup algorithms for transaction processing systems
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
The concurrency control problem in multidatabases: characteristics and solutions
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Simple rational guidance for chopping up transactions
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Concurrency control in real-time database systems
CSC '92 Proceedings of the 1992 ACM annual conference on Communications
Performance analysis of dynamic finite versioning for concurrent transaction and query processing
SIGMETRICS '92/PERFORMANCE '92 Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
Performance analysis of locking policies with limited wait depth
SIGMETRICS '92/PERFORMANCE '92 Proceedings of the 1992 ACM SIGMETRICS joint international conference on Measurement and modeling of computer systems
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
A fault-tolerant commit protocol for replicated databases
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Distributed algorithms for dynamic replication of data
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Ensuring transaction atomicity in multidatabase systems
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An approach to eliminate transaction blocking in locking protocols
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Exploiting database parallelism in a message-passing multiprocessor
IBM Journal of Research and Development
Locking protocols for concurrency control in real-time database systems
ACM SIGMOD Record
Supporting cooperation in the Marvel process-centered SDE
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Closing the window of vulnerability in multiphase memory transactions
ASPLOS V Proceedings of the fifth international conference on Architectural support for programming languages and operating systems
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
On the correctness of orphan management algorithms
Journal of the ACM (JACM)
Cost and availability tradeoffs in replicated data concurrency control
ACM Transactions on Database Systems (TODS)
Stochastic query optimization in distributed databases
ACM Transactions on Database Systems (TODS)
ACM Transactions on Database Systems (TODS)
Query evaluation techniques for large databases
ACM Computing Surveys (CSUR)
Distributed timestamp generation in planar lattice networks
ACM Transactions on Computer Systems (TOCS)
On the analytical modeling of database concurrency control
Journal of the ACM (JACM)
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On correctness of non-serializable executions
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Strict histories in object-based database systems
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Towards a unified theory of concurrency control and recovery
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Relaxing the limitations of serializable transactions in distributed systems
ACM SIGOPS Operating Systems Review
A non-blocking transaction data flow graph based approach for replicated data
ACM SIGOPS Operating Systems Review
Regeneration with Virtual Copies for Distributed Computing Systems
IEEE Transactions on Software Engineering
ACM SIGOPS Operating Systems Review
A hierarchical structure for fault tolerant reactive programs
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
An integrated solution for managing replicated data in distributed systems
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
The process group approach to reliable distributed computing
Communications of the ACM
Fault tolerance: synchronization of redundancy
ACM SIGOPS Operating Systems Review
Knowledge-oriented programming
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
Concurrency control in trusted database management systems: a survey
ACM SIGMOD Record
Effect of probabilistic error checking procedures and performability of robust objects
SAC '93 Proceedings of the 1993 ACM/SIGAPP symposium on Applied computing: states of the art and practice
Simulation of database transaction management protocols: hybrids and variants of time warp
WSC '92 Proceedings of the 24th conference on Winter simulation
Lightweight recoverable virtual memory
SOSP '93 Proceedings of the fourteenth ACM symposium on Operating systems principles
Two-phase locking performance and its thrashing behavior
ACM Transactions on Database Systems (TODS)
A name model for nested group communication
IEEE/ACM Transactions on Networking (TON)
Atomic incremental garbage collection and recovery for a large stable heap
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Performance evaluation of ephemeral logging
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Lazy updates for distributed search structure
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
A recovery scheme for multidatabase systems
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Precision locking for nested transaction systems
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Concurrency control in federated databases: a dynamic approach
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
Lightweight recoverable virtual memory
ACM Transactions on Computer Systems (TOCS) - Special issue on operating systems principles
ACM Transactions on Database Systems (TODS)
Sequential consistency versus linearizability
ACM Transactions on Computer Systems (TOCS)
Reducing recovery constraints on locking based protocols
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Evaluation of remote backup algorithms for transaction-processing systems
ACM Transactions on Database Systems (TODS)
Synthesis of extended transaction models using ACTA
ACM Transactions on Database Systems (TODS)
Formal aspects of concurrency control in long-duration transaction systems using the NT/PV model
ACM Transactions on Database Systems (TODS)
Performance evaluation of a new distributed deadlock detection algorithm
ACM SIGMOD Record
Semantic locking in object-oriented database systems
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
An efficient multiversion algorithm for secure servicing of transaction reads
CCS '94 Proceedings of the 2nd ACM Conference on Computer and communications security
Propagation of authorizations in distributed database systems
CCS '94 Proceedings of the 2nd ACM Conference on Computer and communications security
A lock method for KBMSs using abstraction relationships' semantics
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Quantitative evaluation of a transaction facility for knowledge base management system
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Isolation of transaction aborts in object-oriented database systems
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Adaptive commitment for distributed real-time transactions
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Multiversion divergence control of time fuzziness
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Group formation mechanisms for transactions in Isis
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Quasi-dynamic two-phase locking
CIKM '94 Proceedings of the third international conference on Information and knowledge management
XEL: extended ephemeral logging for log storage management
CIKM '94 Proceedings of the third international conference on Information and knowledge management
ASSET: a system for supporting extended transactions
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Ensuring relaxed atomicity for flexible transactions in multidatabase systems
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Real time groupware as a distributed system: concurrency control and its effect on the interface
CSCW '94 Proceedings of the 1994 ACM conference on Computer supported cooperative work
Quorum consensus in nested-transaction systems
ACM Transactions on Database Systems (TODS)
Bounded ignorance: a technique for increasing concurrency in a replicated system
ACM Transactions on Database Systems (TODS)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
IEEE Transactions on Software Engineering
Approximate Analysis of Reader/Writer Queues
IEEE Transactions on Software Engineering
The CORDS multidatabase project
IBM Systems Journal
Testing and Debugging Distributed Programs Using Global Predicates
IEEE Transactions on Software Engineering
Object orientation in multidatabase systems
ACM Computing Surveys (CSUR)
Transaction chopping: algorithms and performance studies
ACM Transactions on Database Systems (TODS)
Database metatheory: asking the big queries
ACM SIGACT News
Database metatheory: asking the big queries
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Increasing the resilience of atomic commit, at no additional cost
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A system for constructing configurable high-level protocols
SIGCOMM '95 Proceedings of the conference on Applications, technologies, architectures, and protocols for computer communication
CPI-C: an API for distributed applications
IBM Systems Journal
A Fault-Tolerant Algorithm for Replicated Data Management
IEEE Transactions on Parallel and Distributed Systems
Run-time parallelization of sequential database programs
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Consortium: a framework for transactions in collaborative environments
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
A critique of ANSI SQL isolation levels
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Recovery protocols for shared memory database systems
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Hypervisor-based fault tolerance
ACM Transactions on Computer Systems (TOCS) - Special issue on operating system principles
From group communication to transactions in distributed systems
Communications of the ACM
Middleware: a model for distributed system services
Communications of the ACM
Scheduling Soft Real-Time Jobs Over Dual Non-Real-Time Servers
IEEE Transactions on Parallel and Distributed Systems
The dangers of replication and a solution
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Maintaining database consistency in presence of value dependencies in multidatabase systems
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Perspectives on database theory
ACM SIGACT News
Model and verification of a data manager based on ARIES
ACM Transactions on Database Systems (TODS)
Recovery for transaction failures in object-based databases
PODS '96 Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
An advanced commit protocol for MLS distributed database systems
CCS '96 Proceedings of the 3rd ACM conference on Computer and communications security
A new conflict relation for concurrency control and recovery in object-based databases
CIKM '96 Proceedings of the fifth international conference on Information and knowledge management
Independent Recovery in Large-Scale Distributed Systems
IEEE Transactions on Software Engineering
DCWPL: a programming language for describing collaborative work
CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
An Analysis of the Average Message Overhead in Replica Control Protocols
IEEE Transactions on Parallel and Distributed Systems
Efficient transaction support for dynamic information retrieval systems
SIGIR '96 Proceedings of the 19th annual international ACM SIGIR conference on Research and development in information retrieval
Consistency management for multiple perspective software development
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Decomposition Abstraction in Parallel Rule Languages
IEEE Transactions on Parallel and Distributed Systems
Extended ephemeral logging: log storage management for applications with long lived transactions
ACM Transactions on Database Systems (TODS)
Refining knowledge oriented actions to layered implementations
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Eventually-serializable data services
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Achieving Strong Consistency in a Distributed File System
IEEE Transactions on Software Engineering
Resource Conservation in a Mobile Transaction System
IEEE Transactions on Computers - Special issue on mobile computing
An Update Algorithm for Replicated Signaling Databases in Wireless and Advanced Intelligent Networks
IEEE Transactions on Computers - Special issue on mobile computing
Applying formal methods to semantic-based decomposition of transactions
ACM Transactions on Database Systems (TODS)
An adaptive data replication algorithm
ACM Transactions on Database Systems (TODS)
IBM Systems Journal
Bounded Inconsistency for Type-Specific Concurrency Control
Distributed and Parallel Databases
On-line warehouse view maintenance
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Revisiting commit processing in distributed database systems
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Delay-Optimal Quorum Consensus for Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Hiding distribution in distributed systems
ICSE '91 Proceedings of the 13th international conference on Software engineering
Specification and Management of Interdependent Data in OperationalSystems and Data Warehouses
Distributed and Parallel Databases
Transaction synchronization in multiresolation spatial databases
GIS '96 Proceedings of the 4th ACM international workshop on Advances in geographic information systems
Lazy consistency using loosely synchronized clocks
PODC '97 Proceedings of the sixteenth annual ACM symposium on Principles of distributed computing
Transactional client-server cache consistency: alternatives and performance
ACM Transactions on Database Systems (TODS)
A Survey of Distributed Database Checkpointing
Distributed and Parallel Databases
Recovery Analysis of Data Sharing Systems under Deferred Dirty Page Propagation Policies
IEEE Transactions on Parallel and Distributed Systems
Epidemic algorithms in replicated databases (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Replication and consistency: being lazy helps sometimes
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Correctness and parallelism in composite systems
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Escrow techniques for mobile sales and inventory applications
Wireless Networks
Frangipani: a scalable distributed file system
Proceedings of the sixteenth ACM symposium on Operating systems principles
A uniform approach to global concurrency control and recovery in multidatabase environment
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
A contention based dynamic consistency maintenance scheme for client cache
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
Dealing with partial failures in multiple processor primary-backup systems
CIKM '97 Proceedings of the sixth international conference on Information and knowledge management
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
Transaction synchronization in structures for point data
GIS '97 Proceedings of the 5th ACM international workshop on Advances in geographic information systems
Concurrency control: methods, performance, and analysis
ACM Computing Surveys (CSUR)
ACM Transactions on Computer-Human Interaction (TOCHI)
A mathematical theory of correct executions in temporal databases supporting concurrent simulations
ACM-SE 36 Proceedings of the 36th annual Southeast regional conference
Replication, consistency, and practicality: are these mutually exclusive?
SIGMOD '98 Proceedings of the 1998 ACM SIGMOD international conference on Management of data
JPernLite: an extensible transaction server for the World Wide Web
Proceedings of the ninth ACM conference on Hypertext and hypermedia : links, objects, time and space---structure in hypermedia systems: links, objects, time and space---structure in hypermedia systems
Competitive Analysis of Caching in Distributed Databases
IEEE Transactions on Parallel and Distributed Systems
Multiview access protocols for large-scale replication
ACM Transactions on Database Systems (TODS)
Ensuring consistency in multidatabases by preserving two-level serializability
ACM Transactions on Database Systems (TODS)
In-place reconstruction of delta compressed files
PODC '98 Proceedings of the seventeenth annual ACM symposium on Principles of distributed computing
ACM Transactions on Computer Systems (TOCS)
Consistency Algorithms for Multi-Source Warehouse View Maintenance
Distributed and Parallel Databases - Special issue on parallel and distributed information systems
Concurrency control in a VLSI design database
DAC '88 Proceedings of the 25th ACM/IEEE Design Automation Conference
System support for object groups
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Recognizing Nondominated Coteries and wr-Coteries by Availability
IEEE Transactions on Parallel and Distributed Systems
The Performance of Two Phase Commit Protocols in the Presence of Site Failures
Distributed and Parallel Databases
Concurrency and distribution in object-oriented programming
ACM Computing Surveys (CSUR)
Coyote: a system for constructing fine-grain configurable communication services
ACM Transactions on Computer Systems (TOCS)
Comparing coordination models based on shared distributed replicated data
Proceedings of the 1999 ACM symposium on Applied computing
Transaction processing in PRO-MOTION
Proceedings of the 1999 ACM symposium on Applied computing
Load control for locking: the “half-and-half” approach
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Locks with constrained sharing (extended abstract)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A serialization graph construction for nested transactions
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Token transactions: managing fine-grained migration of data
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Data-valued partitioning and virtual messages (extended abstract)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
A novel checkpointing scheme for distributed database systems
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Optimal locking integrated with operational transformation in distributed real-time group editors
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
LOTEC: a simple DSM consistency protocol for nested object transactions
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
Correctness in general configurations of transactional components
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Workflow, transactions and datalog
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Atomicity with incompatible presumptions
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Concurrency control and recovery in transactional process management
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Efficient concurrency control in multidimensional access methods
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Efficient concurrency control for broadcast environments
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
The need for distributed asynchronous transactions
SIGMOD '99 Proceedings of the 1999 ACM SIGMOD international conference on Management of data
Access control in federated systems
NSPW '96 Proceedings of the 1996 workshop on New security paradigms
ANSS '91 Proceedings of the 24th annual symposium on Simulation
ANSS '92 Proceedings of the 25th annual symposium on Simulation
Serialization graph algorithms for multiversion concurrency control
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Transaction synchronisation in object bases
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Priority Scheduling of Transactions in Distributed Real-TimeDatabases
Real-Time Systems
Fundamentals of fault-tolerant distributed computing in asynchronous environments
ACM Computing Surveys (CSUR)
Supporting transactional cache consistency in mobile database systems
Proceedings of the 1st ACM international workshop on Data engineering for wireless and mobile access
Recovery guarantees in mobile systems
Proceedings of the 1st ACM international workshop on Data engineering for wireless and mobile access
SAC '95 Proceedings of the 1995 ACM symposium on Applied computing
Reconfiguration Models and Algorithms for Stateful Interactive Processes
IEEE Transactions on Software Engineering
The effect of failure and repair distributions on consistency protocols for replicated data objects
ANSS '89 Proceedings of the 22nd annual symposium on Simulation
Modeling and simulation of LAN DBMS performance
ANSS '89 Proceedings of the 22nd annual symposium on Simulation
A distributed database simulation language
ANSS '89 Proceedings of the 22nd annual symposium on Simulation
Voting class — an approach to achieving high availability for replicated data
DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems
Concepts and methods for the optimization of distributed data processing
DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems
A hierarchical approach to concurrency control for multidatabases
DPDS '90 Proceedings of the second international symposium on Databases in parallel and distributed systems
Performance and Stability Analysis of Multilevel Data Structures with Deferred Reorganization
IEEE Transactions on Software Engineering
Secure transaction management and query processing in multilevel secure database systems
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
SAC '94 Proceedings of the 1994 ACM symposium on Applied computing
Concurrency control for distributed multiversion databases through time intervals
CSC '91 Proceedings of the 19th annual conference on Computer Science
A graph-based method for database concurrency control
CSC '91 Proceedings of the 19th annual conference on Computer Science
Distributed and Parallel Databases - Special issue on mobile data management and applications
4DIS: a temporal framework for unifying meta-data and data evolution
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
An overview of post information warfare data recovery
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Segmented fuzzy checkpointing for main memory databases
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Adaptive distributed data management with weak consistent replicated data
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
The PROMPT Real-Time Commit Protocol
IEEE Transactions on Parallel and Distributed Systems
PRO-MOTION: management of mobile transactions
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Multi-site distributed database transactions utilizing deferred update
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Enhancing the performance of presumed commit protocol
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
An alternative approach to serialization of multilevel secure Transactions
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
Heterogeneous programming with concurrent objects
SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
On Herbrand semantics and conflict serializability of read-write transactions (extended abstract)
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
High speed on-line backup when using logical log operations
SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
Rewriting Histories: Recovering from Malicious Transactions
Distributed and Parallel Databases - Security of data and transaction processing
Data dependency based logging for defensive information warfare
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Mechanisms for specifying communication behavior in object oriented database systems
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Software engineering and middleware: a roadmap
Proceedings of the Conference on The Future of Software Engineering
A Collaborative Environment for Authoring Large Knowledge Bases
Journal of Intelligent Information Systems
The Journal of Supercomputing
X-ability: a theory of replication
Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing
Distributed and Parallel Databases
Developing object-oriented framworks using domain models
ACM Computing Surveys (CSUR)
An open framework for reliable distributed computing
ACM Computing Surveys (CSUR)
Disaster recovery techniques for database systems
Communications of the ACM
Computing Global Functions in Asynchronous Distributed Systems with Perfect Failure Detectors
IEEE Transactions on Parallel and Distributed Systems
A meta model and an infrastructure for the non-transparent replication of object databases
Proceedings of the ninth international conference on Information and knowledge management
An Efficient SuperGrid Protocol for High Availability and Load Balancing
IEEE Transactions on Computers
Tight bounds for k-set agreement
Journal of the ACM (JACM)
Transaction Scheduling in Distributed Real-Time Systems
Real-Time Systems
Consistency management in Deno
Mobile Networks and Applications
IEEE Transactions on Software Engineering
Real-Time Access Control and Reservation on B-Tree IndexedData
Real-Time Systems
A new approach to developing and implementing eager database replication protocols
ACM Transactions on Database Systems (TODS)
Revisiting Transaction Management in Multidatabase Systems
Distributed and Parallel Databases
Real-Time Data Semantics and Similarity-Based Concurrency Control
IEEE Transactions on Computers
Implementing E-Transactions with Asynchronous Replication
IEEE Transactions on Parallel and Distributed Systems
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Improving timeliness in real-time secure database systems
ACM SIGMOD Record
Abort-Oriented Concurrency Control for Real-Time Databases
IEEE Transactions on Computers
The costs and limits of availability for replicated services
SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
Proceedings of the tenth international conference on Information and knowledge management
A nested transaction model for multilevel secure database management systems
ACM Transactions on Information and System Security (TISSEC)
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
Wanted: an application aware checkpointing service
EW 6 Proceedings of the 6th workshop on ACM SIGOPS European workshop: Matching operating systems to application needs
Consistency maintenance in real-time collaborative graphics editing systems
ACM Transactions on Computer-Human Interaction (TOCHI)
Information and Computation
Partial order relations in distributed object environments
ACM SIGOPS Operating Systems Review
Relaxing the limitations of serializable transactions in distributed systems
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Synchronization as a framework for distributed system fault-tolerance design
EW 5 Proceedings of the 5th workshop on ACM SIGOPS European workshop: Models and paradigms for distributed systems structuring
Atomicity and isolation for transactional processes
ACM Transactions on Database Systems (TODS)
Extended data dependency approach: a robust way of rebuilding database
Proceedings of the 2002 ACM symposium on Applied computing
Light-Weight Currency Management Mechanisms in Mobile and Weakly-Connected Environments
Distributed and Parallel Databases
The Performance of an Efficient Distributed Synchronization and Recovery Algorithm
The Journal of Supercomputing
Disconnection modes for mobile databases
Wireless Networks
A Framework for Cache Management for Mobile Databases: Design and Evaluation
Distributed and Parallel Databases
An Efficient Partitioning Algorithm for Distributed Virtual Environment Systems
IEEE Transactions on Parallel and Distributed Systems
e-Transactions: End-to-End Reliability for Three-Tier Architectures
IEEE Transactions on Software Engineering
Design and evaluation of a conit-based continuous consistency model for replicated services
ACM Transactions on Computer Systems (TOCS)
A Transaction Model to Improve Data Availability in Mobile Computing
Distributed and Parallel Databases
Logically Clustered Architectures for Networked Databases
Distributed and Parallel Databases
Real-Time Concurrency Control in a Multiprocessor Environment
IEEE Transactions on Parallel and Distributed Systems
Minimal replication cost for availability
Proceedings of the twenty-first annual symposium on Principles of distributed computing
A Simple, Object-Based View of Multiprogramming
Formal Methods in System Design
XMLTM: efficient transaction management for XML documents
Proceedings of the eleventh international conference on Information and knowledge management
Partial rollback in object-oriented/object-relational database management systems
Proceedings of the eleventh international conference on Information and knowledge management
Global lock escalation in database management systems
Information Processing Letters
Dictatorial Transaction Processing: Atomic Commitment Without Veto Right
Distributed and Parallel Databases
Quality-based synchronization methods of multimedia objects
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Intelligent multimedia computing and networking
Transaction Processing in a Mobile, Multi-Database Environment
Multimedia Tools and Applications
Evaluation of concurrency control strategies for mixed soft real-time database systems
Information Systems - Databases: Creation, management and utilization
Strategies for resolving inter-class data conflicts in mixed real-time database systems
Journal of Systems and Software
A Low-Cost Checkpointing Technique for Distributed Databases
Distributed and Parallel Databases
Constructing Dependable Web Services
IEEE Internet Computing
Sharing Health-Care Records over the Internet
IEEE Internet Computing
Globally Distributed Content Delivery
IEEE Internet Computing
Multiple Reservations and the Oklahoma Update
IEEE Parallel & Distributed Technology: Systems & Technology
Semantics-based transaction processing: satisfying conflicting objectives
IEEE Parallel & Distributed Technology: Systems & Technology
Transaction management issues in a failure-prone multidatabase system environment
The VLDB Journal — The International Journal on Very Large Data Bases
Overview of multidatabase transaction management
The VLDB Journal — The International Journal on Very Large Data Bases
A toolkit for the incremental implementation of heterogeneous database management systems
The VLDB Journal — The International Journal on Very Large Data Bases
Concurrency control issues in nested transactions
The VLDB Journal — The International Journal on Very Large Data Bases
Supporting consistent updates in replicated multidatabase systems
The VLDB Journal — The International Journal on Very Large Data Bases
A theory of global concurrency control in multidatabase systems
The VLDB Journal — The International Journal on Very Large Data Bases - Parallelism in database systems
Multi-level transaction management for complex objects: implementation, performance, parallelism
The VLDB Journal — The International Journal on Very Large Data Bases
Chronological scheduling of transactions with temporal dependencies
The VLDB Journal — The International Journal on Very Large Data Bases
The demarcation protocol: a technique for maintaining constraints in distributed database systems
The VLDB Journal — The International Journal on Very Large Data Bases
Ordered shared locks for real-time databases
The VLDB Journal — The International Journal on Very Large Data Bases
Surviving Network Partitioning
Computer
An Overview of the Arjuna Distributed Programming System
IEEE Software
Reliability Through Consistency
IEEE Software
Mastering Agreement Problems in Distributed Systems
IEEE Software
Stochastic Models for Performance Analysis of Database Recovery Control
IEEE Transactions on Computers
Characterizing the Performance of Algorithms for Lock-Free Objects
IEEE Transactions on Computers
Concurrency Control for Mixed Transactions in Real-Time Databases
IEEE Transactions on Computers
IEEE Transactions on Computers
TCOT-A Timeout-Based Mobile Transaction Commitment Protocol
IEEE Transactions on Computers
Support for Recovery in Mobile Systems
IEEE Transactions on Computers
The Group Paradigm for Concurrency Control Protocols
IEEE Transactions on Knowledge and Data Engineering
An Adaptive Checkpointing Scheme for Distributed Databases with Mixed Types of Transactions
IEEE Transactions on Knowledge and Data Engineering
A Hybrid Replica Control Algorithm Combining Static and Dynamic Voting
IEEE Transactions on Knowledge and Data Engineering
Storage Efficient Replicated Databases
IEEE Transactions on Knowledge and Data Engineering
A Persistent Store for Large Shared Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Modeling and Analysis of a Time-Stamp History Based Certification Protocol for Concurrency Control
IEEE Transactions on Knowledge and Data Engineering
Incremental Recovery in Main Memory Database Systems
IEEE Transactions on Knowledge and Data Engineering
The Grid Protocol: A High Performance Scheme for Maintaining Replicated Data
IEEE Transactions on Knowledge and Data Engineering
Using Tickets to Enforce the Serializability of Multidatabase Transactions
IEEE Transactions on Knowledge and Data Engineering
Performance Analysis of a Concurrent File Reorganization Algorithm for Record Clustering
IEEE Transactions on Knowledge and Data Engineering
A New Dynamic Voting Algorithm for Distributed Database Systems
IEEE Transactions on Knowledge and Data Engineering
The Performance of Protocols Based on Locks with Ordered Sharing
IEEE Transactions on Knowledge and Data Engineering
Temporal and Real-Time Databases: A Survey
IEEE Transactions on Knowledge and Data Engineering
Databases with Deadline and Contingency Constraints
IEEE Transactions on Knowledge and Data Engineering
The Partitioned Synchronization Rule for Planar Extendible Partial Orders
IEEE Transactions on Knowledge and Data Engineering
A Nonblocking Transaction Data Flow Graph Based Protocol For Replicated Databases
IEEE Transactions on Knowledge and Data Engineering
On-The-Fly Reading of Entire Databases
IEEE Transactions on Knowledge and Data Engineering
Correctness Criteria for Multilevel Secure Transactions
IEEE Transactions on Knowledge and Data Engineering
A Multi-Granularity Locking Model for Concurrency Control in Object-Oriented Database Systems
IEEE Transactions on Knowledge and Data Engineering
VELOS: A New Approach for Efficiently Achieving High Availability in Partitioned Distributed Systems
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Performance Analysis of Long-Lived Transaction Processing Systems with Rollbacks and Aborts
IEEE Transactions on Knowledge and Data Engineering
Global Committability in Multidatabase Systems
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Performance Analysis of Dynamic Finite Versioning Schemes: Storage Cost vs. Obsolescence
IEEE Transactions on Knowledge and Data Engineering
Divergence Control Algorithms for Epsilon Serializability
IEEE Transactions on Knowledge and Data Engineering
A Performance Comparison of Locking Methods with Limited Wait Depth
IEEE Transactions on Knowledge and Data Engineering
IEEE Transactions on Knowledge and Data Engineering
Advanced Transaction Processing in Multilevel Secure File Stores
IEEE Transactions on Knowledge and Data Engineering
Distributed Optimistic Concurrency Control Methods for High-Performance Transaction Processing
IEEE Transactions on Knowledge and Data Engineering
Effects of Update Techniques on Main Memory Database System Performance
IEEE Transactions on Knowledge and Data Engineering
JPernLite: Extensible Transaction Services for the WWW
IEEE Transactions on Knowledge and Data Engineering
A One-Phase Algorithm to Detect Distributed Deadlocks in Replicated Databases
IEEE Transactions on Knowledge and Data Engineering
Data Consistency in Intermittently Connected Distributed Systems
IEEE Transactions on Knowledge and Data Engineering
Integrating Security and Real-Time Requirements Using Covert Channel Capacity
IEEE Transactions on Knowledge and Data Engineering
ASEP: A Secure and Flexible Commit Protocol for MLS Distributed Database Systems
IEEE Transactions on Knowledge and Data Engineering
Global Scheduling for Flexible Transactions in Heterogeneous Distributed Database Systems
IEEE Transactions on Knowledge and Data Engineering
Locating Objects in Mobile Computing
IEEE Transactions on Knowledge and Data Engineering
Multiversion Locking Protocol with Freezing for Secure Real-Time Database Systems
IEEE Transactions on Knowledge and Data Engineering
Recovery from Malicious Transactions
IEEE Transactions on Knowledge and Data Engineering
Transaction Processing in Mobile, Heterogeneous Database Systems
IEEE Transactions on Knowledge and Data Engineering
A Nonblocking Quorum Consensus Protocol for Replicated Data
IEEE Transactions on Parallel and Distributed Systems
IEEE Transactions on Parallel and Distributed Systems
Checkpointing for Distributed Databases: Starting from the Basics
IEEE Transactions on Parallel and Distributed Systems
Distributed Concurrency Control Based on Limited Wait-Depth
IEEE Transactions on Parallel and Distributed Systems
Voting as the Optimal Static Pessimistic Scheme for Managing Replicated Data
IEEE Transactions on Parallel and Distributed Systems
Multiclass Replicated Data Management: Exploiting Replication to Improve Efficiency
IEEE Transactions on Parallel and Distributed Systems
Structuring Fault-Tolerant Object Systems for Modularity in a Distributed Environment
IEEE Transactions on Parallel and Distributed Systems
Optional and Responsive Fine-Grain Locking in Internet-Based Collaborative Systems
IEEE Transactions on Parallel and Distributed Systems
Modeling Concurrency in Rule-Based Development Environments
IEEE Expert: Intelligent Systems and Their Applications
Automating Workflows for Service Order Processing: Integrating AI and Database Technologies
IEEE Expert: Intelligent Systems and Their Applications
IEEE Transactions on Software Engineering
Modeling and Analysis of Concurrent Maintenance Policies for Data Structures Using Pointers
IEEE Transactions on Software Engineering
Performance Analysis of Concurrency Control Using Locking with Deferred Blocking
IEEE Transactions on Software Engineering
Data management issues in mobile and peer-to-peer environments
Data & Knowledge Engineering - DKE 40
Finite-state self-stabilizing protocols in message-passing systems
Journal of Parallel and Distributed Computing - Self-stabilizing distributed systems
Minimisation of the update response time in a distributed database system
Performance Evaluation
Distributed Enforcement of Integrity Constraints
Distributed and Parallel Databases
The Database State Machine Approach
Distributed and Parallel Databases
Bridging Boundaries: CORBA in Perspective
IEEE Internet Computing
IEEE Transactions on Knowledge and Data Engineering
Two Fully Distributed Concurrency Control Algorithms
IEEE Transactions on Knowledge and Data Engineering
Database Concurrency Control in Multilevel Secure Database Management Systems
IEEE Transactions on Knowledge and Data Engineering
Blocking Reduction in Two-phase Commit Protocol with Multiple Backup Sites
DNIS '00 Proceedings of the International Workshop on Databases in Networked Information Systems
Flexible Management of Consistency and Availability of Networked Data Replications
FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Improving Parallelism in Asynchronous Reading of an Entire Database
HiPC '00 Proceedings of the 7th International Conference on High Performance Computing
Asynchronous Transaction Processing for Updates by Client: With Elimination of Wait-for State
HiPC '02 Proceedings of the 9th International Conference on High Performance Computing
Transactions in Stack, Fork, and Join Composite Systems
ICDT '99 Proceedings of the 7th International Conference on Database Theory
A Theory of Transactions on Recoverable Search Trees
ICDT '01 Proceedings of the 8th International Conference on Database Theory
Characterizing the Temporal and Semantic Coherency of Broadcast-Based Data Dissemination
ICDT '03 Proceedings of the 9th International Conference on Database Theory
A Revised Implicit Locking Scheme in Object-Oriented Database Systems
HPCN Europe 2000 Proceedings of the 8th International Conference on High-Performance Computing and Networking
A Locking-Based Transaction Scheduling Algorithm for Supporting Web-Based Classes
ICWL '02 Proceedings of the First International Conference on Advances in Web-Based Learning
A Risk-Free Multiversion Temporally Correct Algorithm
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Concurrent Updates on Striped Data Streams in Clustered Server Systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Group Consistency for Read-Only Transactions in Mobile Environments
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
Controlling Concurrent Accesses in Multimedia Database Systems
MDIC '01 Proceedings of the Second International Workshop on Multimedia Databases and Image Communication
A Refinement Theory that Supports Reasoning About Knowledge and Time
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Mnesia - A Distributed Robust DBMS for Telecommunications Applications
PADL '99 Proceedings of the First International Workshop on Practical Aspects of Declarative Languages
Using Versions in Update Transactions: Application to Integrity Checking
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Caprera: An Activity Framework for Transaction Processing on Wide-Area Networks
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
An Optimal Locking Scheme in Object-Oriented Database Systems
WAIM '00 Proceedings of the First International Conference on Web-Age Information Management
Exploiting Versions for Handling Updates in Broadcast Disks
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Repeating History Beyond ARIES
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Don't Be Lazy, Be Consistent: Postgres-R, A New Way to Implement Database Replication
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Offering a Precision-Performance Tradeoff for Aggregation Queries over Replicated Data
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
A Formal Approach to Recovery by Compensating Transactions
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Two Epoch Algorithms for Disaster Recovery
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Transaction Timestamping in (Temporal) Databases
Proceedings of the 27th International Conference on Very Large Data Bases
Adaptive Locking Strategies in a Multi-node Data Sharing Environment
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Adaptive Load Control in Transaction Processing Systems
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Production Rules in Parallel and Distributed Database Environments
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
High Throughput Escrow Algorithms for Replicated Databases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Proclamation-Based Model for Cooperating Transactions
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Key Range Locking Strategies for Improved Concurrency
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Data Sharing Analysis for a Database Programming Lanaguage via Abstract Interpretation
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Recovering from Main-Memory Lapses
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
A Transaction Replication Scheme for a Replicated Database with Node Autonomy
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
A Top-Down Approach for Two Level Serializability
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Improving Performance in Replicated Databases through Relaxed Coherency
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Using Formal Methods to Reason about Semantics-Based Decompositions of Transactions
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Redo Recovery after System Crashes
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
Scalable Replication in Database Clusters
DISC '00 Proceedings of the 14th International Conference on Distributed Computing
DRDB: a distributed real-time database server for high-assurance time-critical applications
COMPSAC '97 Proceedings of the 21st International Computer Software and Applications Conference
A Low-Latency Non-blocking Commit Service
DISC '01 Proceedings of the 15th International Conference on Distributed Computing
RAMBO: A Reconfigurable Atomic Memory Service for Dynamic Networks
DISC '02 Proceedings of the 16th International Conference on Distributed Computing
A Timeout-Based Mobile Transaction Commitment Protocol
ADBIS-DASFAA '00 Proceedings of the East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications: Current Issues in Databases and Information Systems
Efficient Cache Management Protocol Based on Data Locality in Mobile DBMSs
ADBIS-DASFAA '00 Proceedings of the East-European Conference on Advances in Databases and Information Systems Held Jointly with International Conference on Database Systems for Advanced Applications: Current Issues in Databases and Information Systems
Optimistic Concurrency Control Based on Timestamp Interval for Broadcast Environment
ADBIS '02 Proceedings of the 6th East European Conference on Advances in Databases and Information Systems
Transactional Cache Management with Aperiodic Invalidation Scheme in Mobile Environments
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
Scheduling of Triggered Transactions in Distributed Real-Time Active Databases
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
An Active Real-Time Database Model for Air Traffic Control Systems
ARTDB '97 Proceedings of the Second International Workshop on Active, Real-Time, and Temporal Database Systems
A New Class Hierarchy Concurrency Control Technique in Object-Oriented Database Systems
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
On the Correctnes of Virtual Partition Algorithm in a Nested Transaction Environment
ADBIS '99 Proceedings of the Third East European Conference on Advances in Databases and Information Systems
Analysis of an Election Problem for CSCW in Asynchronous Distributed Systems
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
A Transactional Approach to Parallel Data Warehouse Maintenance
DaWaK 2000 Proceedings of the 4th International Conference on Data Warehousing and Knowledge Discovery
AOP: Does It Make Sense? The Case of Concurrency and Failures
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
Temporally Faithful Execution of Business Transactions
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Design for Change: Evolving Workflow Specifications in ULTRAflow
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
DBTel '01 Proceedings of the VLDB 2001 International Workshop on Databases in Telecommunications II
A Review of Multidatabase Transactions on The Web: From the ACID to the SACReD
BNCOD 17 Proceedings of the 17th British National Conferenc on Databases: Advances in Databases
Open Nested Transaction: A Support for Increasing Performance and Multi-tier Applications
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Serializability, Concurrency Control, and Replication Control
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Logical Update Queries as Open Nested Transactions
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Federated Transaction Management with Snapshot Isolation
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
ICICS '01 Proceedings of the Third International Conference on Information and Communications Security
Group Protocol for Delivering Requests to Replicas
ICOIN '02 Revised Papers from the International Conference on Information Networking, Wireless Communications Technologies and Network Applications-Part II
Mobile Agent Model for Transaction Processing in Distributed Database Systems
ICOIN '02 Revised Papers from the International Conference on Information Networking, Wireless Communications Technologies and Network Applications-Part II
Delay Optimizations in Quorum Consensus
ISAAC '01 Proceedings of the 12th International Symposium on Algorithms and Computation
An Efficient Method for Controlling Access in Object-Oriented Databases
EurAsia-ICT '02 Proceedings of the First EurAsian Conference on Information and Communication Technology
Concurrency Control in Transactional Drago
Ada-Europe '02 Proceedings of the 7th Ada-Europe International Conference on Reliable Software Technologies
Global Semantic Serializability: An Approach to Increase Concurrency in Multidatabase Systems
CooplS '01 Proceedings of the 9th International Conference on Cooperative Information Systems
A Multi-version Transaction Model to Improve Data Availability in Mobile Computing
On the Move to Meaningful Internet Systems, 2002 - DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002
Orchestrating Transactions in Join Calculus
CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
Scalability of a Transactional Infrastructure for Multi-Agent Systems
Revised Papers from the International Workshop on Infrastructure for Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
Compositional Transformational Design for Concurrent Programs
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Real-Time Transaction Management in Mobile Computing Systems
DASFAA '99 Proceedings of the Sixth International Conference on Database Systems for Advanced Applications
An Adaptable Constrained Locking Protocol for High Data Contention Environments
DASFAA '99 Proceedings of the Sixth International Conference on Database Systems for Advanced Applications
Recovery in Distributed Extended Long-lived Transaction Models
DASFAA '99 Proceedings of the Sixth International Conference on Database Systems for Advanced Applications
Agreement Problems in Fault-Tolerant Distributed Systems
SOFSEM '01 Proceedings of the 28th Conference on Current Trends in Theory and Practice of Informatics Piestany: Theory and Practice of Informatics
Performance Analysis of Concurrency Control Methods
Performance Evaluation: Origins and Directions
A Transactional Model for Data Warehouse Maintenance
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Conceptual Design of Parallel Systems
Selected Papers from the Symposium on Conceptual Modeling, Current Issues and Future Directions
Constructing Dependable Web Services
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
Integrating Group Communication with Transactions for Implementing Persistent Replicated Objects
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
Advances in Distributed Systems, Advanced Distributed Computing: From Algorithms to Systems
Integrating Notifications and Transactions: Concepts and X2TS Prototype
EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
Online Reconfiguration in Replicated Databases Based on Group Communication
DSN '01 Proceedings of the 2001 International Conference on Dependable Systems and Networks (formerly: FTCS)
Revised Papers from the NODe 2002 Web and Database-Related Workshops on Web, Web-Services, and Database Systems
Speculative Lock Management to Increase Concurrency in Mobile Environments
MDA '99 Proceedings of the First International Conference on Mobile Data Access
Transaction Processing in an Asymmetric Mobile Environment
MDA '99 Proceedings of the First International Conference on Mobile Data Access
Optimistic Scheduling Algorithm for Mobile Transactions Based on Reordering
MDM '01 Proceedings of the Second International Conference on Mobile Data Management
Using Separate Processing for Read-Only Transactions in Mobile Environment
MDM '03 Proceedings of the 4th International Conference on Mobile Data Management
View Serializable Updates of Concurrent Index Structures
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Simulation of Advanced Transaction Models Using GOLOG
DBPL '01 Revised Papers from the 8th International Workshop on Database Programming Languages
Concurrency Control for Global Transaction Management in MDBSs
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Supporting Partial Isolation in Flat Transaction
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Quality-Based Synchronization Methods of Multimedia Objects
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
WorkMan - A Transactional Workflow Prototype
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Supporting Cooperative Inter-organizational Business Transactions
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
A New Look at Timestamp Ordering Concurrency Control
DEXA '01 Proceedings of the 12th International Conference on Database and Expert Systems Applications
Adaptable Recovery Using Dynamic Quorum Assignments
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Scheduling value-based transactions in distributed real-time database systems
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
A Formalism for Extended Transaction Model
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
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
Parallel on-the-fly reading of an entire database copy
Practical parallel computing
Anatomy of a native XML base management system
The VLDB Journal — The International Journal on Very Large Data Bases
Effective timestamping in databases
The VLDB Journal — The International Journal on Very Large Data Bases
Update propagation strategies to improve freshness in lazy master replicated databases
The VLDB Journal — The International Journal on Very Large Data Bases
The VLDB Journal — The International Journal on Very Large Data Bases
Concurrency control in hierarchical multidatabase systems
The VLDB Journal — The International Journal on Very Large Data Bases
Synchronization and recovery in a client-server storage system
The VLDB Journal — The International Journal on Very Large Data Bases
A taxonomy of correctness criteria in database applications
The VLDB Journal — The International Journal on Very Large Data Bases
Building knowledge base management systems
The VLDB Journal — The International Journal on Very Large Data Bases
An asymptotically optimal multiversion B-tree
The VLDB Journal — The International Journal on Very Large Data Bases
Effects of broadcast errors on concurrency control in wireless broadcasting environments
Information Processing Letters
Reducing the blocking in two-phase commit with backup sites
Information Processing Letters
Two-Version Based Concurrency Control and Recovery in Real-Time Client/Server Databases
IEEE Transactions on Computers
PicoDBMS: Scaling down database techniques for the smartcard
The VLDB Journal — The International Journal on Very Large Data Bases
Versioning concurrency control for hard real-time systems
Journal of Systems and Software
Using reordering technique for mobile transaction management in broadcast environments
Data & Knowledge Engineering
The freeze algorithms for concurrency control in secure real-time database systems
Data & Knowledge Engineering
Relaxing consistency requirement for read-only transactions
Information Sciences—Informatics and Computer Science: An International Journal
Asynchronous Operations in Distributed Concurrency Control
IEEE Transactions on Knowledge and Data Engineering
Fault-tolerance in a distributed management system: a case study
Proceedings of the 25th International Conference on Software Engineering
Concurrency control with lock preemption and restoration
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Transaction scheduling in dynamic composite multidatabase systems
CASCON '95 Proceedings of the 1995 conference of the Centre for Advanced Studies on Collaborative research
Performance aspects of dynamic re-allocation for partitioned data
CASCON '96 Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research
Failure isolation and recovery in composite multidatabases
CASCON '94 Proceedings of the 1994 conference of the Centre for Advanced Studies on Collaborative research
Model-checking of correctness conditions for concurrent objects
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Optimistic atomic broadcast: a pragmatic viewpoint
Theoretical Computer Science - Special issue: Distributed computing
Consensus service: a modular approach for building agreement protocols in distributed systems
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Group, majority, and strict agreement in timed asynchronous distributed systems
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Highly available directory services in DCE
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
Efficient Metadata Management in Large Distributed Storage Systems
MSS '03 Proceedings of the 20 th IEEE/11 th NASA Goddard Conference on Mass Storage Systems and Technologies (MSS'03)
Non-blocking concurrency control in distributed database systems
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
Object-oriented design of main-memory DBMS for real-time applications
RTCSA '95 Proceedings of the 2nd International Workshop on Real-Time Computing Systems and Applications
SRDS '96 Proceedings of the 15th Symposium on Reliable Distributed Systems
Highly Available Process Support Systems: Implementing Backup Mechanisms
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
View Divergence Control of Replicated Data Using Update Delay Estimation
SRDS '99 Proceedings of the 18th IEEE Symposium on Reliable Distributed Systems
Simulation Analysis of a Real-time Database Buffer Manager
SS '96 Proceedings of the 29th Annual Simulation Symposium (SS '96)
Object-Based Checkpoints in Distributed Systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Real-time dependable decisions in timed asynchronous distributed systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Object-Based Message Ordering in Group Communication
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
Checkpoint and Rollback in Asynchronous Distributed Systems
INFOCOM '97 Proceedings of the INFOCOM '97. Sixteenth Annual Joint Conference of the IEEE Computer and Communications Societies. Driving the Information Revolution
Quorum-Based Protocol for Locking Replicas of Objects
ICCNMC '01 Proceedings of the 2001 International Conference on Computer Networks and Mobile Computing (ICCNMC'01)
Group Protocol for Inter-Object Communications
ICCNMC '01 Proceedings of the 2001 International Conference on Computer Networks and Mobile Computing (ICCNMC'01)
Transaction Management in Mobile Mutidatabase Systems
ICCNMC '01 Proceedings of the 2001 International Conference on Computer Networks and Mobile Computing (ICCNMC'01)
Transactional Coordination Agents for Composite Systems
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Recovery Protocols in Multi-Agent Probabilistic Reasoning Systems
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Site-Locking Protocol for Global Concurrency Control in Multidatabase Systems
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Efficient damage assessment and repair in resilient distributed database systems
Das'01 Proceedings of the fifteenth annual working conference on Database and application security
Reorganization of the database log for information warfare data recovery
Das'01 Proceedings of the fifteenth annual working conference on Database and application security
An adaptive scheduler for distributed real-time database systems
Information Sciences: an International Journal
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Classification of Weak Correctness Criteria for Real-Time Database Applications
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Recovery Technique Based on Fuzzy Checkpoint in a Client/Server DataBase System
COMPSAC '96 Proceedings of the 20th Conference on Computer Software and Applications
Multi-Phase Damage Confinement in Database Systems for Intrusion Tolerance
CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
Data sharing and recovery in gigabit-networked databases
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Support for Speculative Update Propagation and Mobility in Deno
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Transactions on Partially Replicated Data based on Reliable and Atomic Multicasts
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
Checkpointing and Recovery for Distributed Shared Memory Applications
IWOOOS '95 Proceedings of the 4th International Workshop on Object-Orientation in Operating Systems
Are quorums an alternative for data replication?
ACM Transactions on Database Systems (TODS)
Deno: A Decentralized, Peer-to-Peer Object-Replication System for Weakly Connected Environments
IEEE Transactions on Computers
Proof of correctness of Ressel's adOPTed algorithm
Information Processing Letters
Mobile agent model for transaction processing on distributed objects
Information Sciences—Informatics and Computer Science: An International Journal - Special issue: Introduction to multimedia and mobile agents
Concurrent checking of global cross-database integrity constraints
Integrity and internal control in information systems V
Mobile Networks and Applications
IEEE Transactions on Knowledge and Data Engineering
Asynchronous Backup and Initialization of a Database Server for Replicated Database Systems
The Journal of Supercomputing
Modular reasoning about open systems: a case study of distributed commit
IWSSD '93 Proceedings of the 7th international workshop on Software specification and design
Hybrid log segmentation for assured damage assessment
Proceedings of the 2003 ACM symposium on Applied computing
A reliable storage management layer for distributed information retrieval systems
CIKM '03 Proceedings of the twelfth international conference on Information and knowledge management
CAGISTrans: Providing Adaptable Transactional Support for Cooperative Work – an Extended Treatment
Information Technology and Management
Overview of multidatabase transaction management
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
A concurrency control protocol for nested transactions
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
A transactional API for the EAN X.500 directory service
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Open nested serializability in multidatabase systems
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Issues in managing long transactions and large objects in a multidatabase system
CASCON '92 Proceedings of the 1992 conference of the Centre for Advanced Studies on Collaborative research - Volume 2
Architecture for transaction management in the CORDS multidatabase service
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Weakly consistent transactions in ROSS
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Composite multidatabase system concurrency control and recovery
CASCON '93 Proceedings of the 1993 conference of the Centre for Advanced Studies on Collaborative research: distributed computing - Volume 2
Speculative Locking Protocols to Improve Performance for Distributed Database Systems
IEEE Transactions on Knowledge and Data Engineering
Concurrency and loose semantics of open graph transformation systems
Mathematical Structures in Computer Science
Efficient validation of mobile transactions in wireless environments
Journal of Systems and Software
A Transaction Model for XML Databases
World Wide Web
Evaluating lock-based protocols for cooperation on XML documents
ACM SIGMOD Record
Grid resource management
High performance scientific and engineering computing
Log-Structured Storage for Efficient Weakly-Connected Replication
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Using Lock-Based Checking Protocol for Efficient Data Broadcast in Mobile Environments
ICDCSW '04 Proceedings of the 24th International Conference on Distributed Computing Systems Workshops - W7: EC (ICDCSW'04) - Volume 7
Lazy Database Replication with Ordering Guarantees
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
Detection and Correction of Conflicting Source Updates for View Maintenance
ICDE '04 Proceedings of the 20th International Conference on Data Engineering
Parallel Concurrency Control Activity for Transaction Management in Real-time Database Systems
The Journal of Supercomputing
Recovery in the Mobile Wireless Environment Using Mobile Agents
IEEE Transactions on Mobile Computing
Uniform consensus is harder than consensus
Journal of Algorithms
Concurrent models for Linda with transactions
Mathematical Structures in Computer Science
A Survey of Mobile Transactions
Distributed and Parallel Databases
Transaction support for indexed summary views
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Query processing for SQL updates
SIGMOD '04 Proceedings of the 2004 ACM SIGMOD international conference on Management of data
Real-time update of access control policies
Data & Knowledge Engineering
IBM Systems Journal
Conflict scheduling of transactions on XML documents
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Parallel Computing - Special issue: Parallel and nature-inspired computational paradigms and applications
Fast non-blocking atomic commit: an inherent trade-off
Information Processing Letters
Implementing a replicated service with group communication
Journal of Systems Architecture: the EUROMICRO Journal
Analyzing reconfigurable algorithms for managing replicated data
Journal of Systems and Software
Knowledge consistency: a useful suspension of disbelief
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
A knowledge theoretic account of recovery in distributed systems: the case of negotiated commitment
TARK '88 Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge
TARK '92 Proceedings of the 4th conference on Theoretical aspects of reasoning about knowledge
A read-only transaction anomaly under snapshot isolation
ACM SIGMOD Record
Investigations in tree locking for compiled database applications
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Service-based processes: design for business and technology
Proceedings of the 2nd international conference on Service oriented computing
Approaches to fault-tolerant and transactional mobile agent execution---an algorithmic view
ACM Computing Surveys (CSUR)
Early consensus in an asynchronous system with a weak failure detector
Distributed Computing
Handling message semantics with Generic Broadcast protocols
Distributed Computing
Secure one snapshot protocol for concurrency control in real-time stock trading systems
Journal of Systems and Software
Abstractions for fault-tolerant global computing
Theoretical Computer Science - Special issue: Foundations of wide area network computing
Total order broadcast and multicast algorithms: Taxonomy and survey
ACM Computing Surveys (CSUR)
Multiversion-based view maintenance over distributed data sources
ACM Transactions on Database Systems (TODS)
Ganymed: scalable replication for transactional web applications
Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
Asynchronous group mutual exclusion
Distributed Computing
Comparison of Database Replication Techniques Based on Total Order Broadcast
IEEE Transactions on Knowledge and Data Engineering
A formal approach to lock escalation
Information Systems
A Comparative Evaluation of Transparent Scaling Techniques for Dynamic Content Servers
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
Postgres-R(SI): Combining Replica Control with Concurrency Control Based on Snapshot Isolation
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
Concurrency control and recovery for balanced B-link trees
The VLDB Journal — The International Journal on Very Large Data Bases
ACM Computing Surveys (CSUR)
Specifying modules to satisfy interfaces: a state transition system approach
Distributed Computing - Special issue: Specification of concurrent systems
The compositional approach to sequential consistency and lazy caching
Distributed Computing - Special issue: Verification of lazy caching
Allocating isolation levels to transactions
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Guaranteeing correctness and availability in P2P range indices
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Immortal DB: transaction time support for SQL server
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Transactional agent model for fault-tolerant object systems
Proceedings of the 2005 ACM symposium on Applied computing
Moving from Business to Technology with Service-Based Processes
IEEE Internet Computing
Isolation-only transactions by typing and versioning
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Improving the Performance of Distributed Virtual Environment Systems
IEEE Transactions on Parallel and Distributed Systems
Locking Protocols for Materialized Aggregate Join Views
IEEE Transactions on Knowledge and Data Engineering
Applying Semantic Knowledge to Real-Time Update of Access Control Policies
IEEE Transactions on Knowledge and Data Engineering
Making snapshot isolation serializable
ACM Transactions on Database Systems (TODS)
Encyclopedia of Computer Science
On deadlocks of exclusive AND-requests for resources
Distributed Computing
A two-phase commit protocol for mobile wireless environment
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
Fine-grained replication and scheduling with freshness and correctness guarantees
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Automated Analysis of Fault-Tolerance in Distributed Systems
Formal Methods in System Design
Lightweight multigranularity locking for transaction management in XML database systems
Journal of Systems and Software
Continuous consensus via common knowledge
TARK '05 Proceedings of the 10th conference on Theoretical aspects of rationality and knowledge
Fault-scalable Byzantine fault-tolerant services
Proceedings of the twentieth ACM symposium on Operating systems principles
An Efficient Protocol for Disseminating Consistent Data in Broadcast Environments
UDM '05 Proceedings of the International Workshop on Ubiquitous Data Management
Decentralized coordination of transactional processes in peer-to-peer environments
Proceedings of the 14th ACM international conference on Information and knowledge management
Transaction Support Using Unit of Work Modeling in the Context of MDA
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Dynamic data replication and consistency in mobile environments
DSM '05 Proceedings of the 2nd international doctoral symposium on Middleware
Scalable database replication through dynamic multiversioning
CASCON '05 Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative research
Online data migration for autonomic provisioning of databases in dynamic content web servers
CASCON '05 Proceedings of the 2005 conference of the Centre for Advanced Studies on Collaborative research
Supporting Adaptable Consistency Control in Structured Collaborative Workspaces
Computer Supported Cooperative Work
Associating synchronization constraints with data in an object-oriented language
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
MIDDLE-R: Consistent database replication at the middleware level
ACM Transactions on Computer Systems (TOCS)
On the Benefits of aWorkflow-Aware File System in High-Performance Computing Systems
HPCASIA '05 Proceedings of the Eighth International Conference on High-Performance Computing in Asia-Pacific Region
Runtime Analysis of Atomicity for Multithreaded Programs
IEEE Transactions on Software Engineering
Transaction fusion: a model for data recovery from information attacks
Journal of Intelligent Information Systems - Special issue: Database and applications security
The design and implementation of a self-healing database system
Journal of Intelligent Information Systems - Special issue: Database and applications security
A Multiagent System for the Reliable Execution of Automatically Composed Ad-hoc Processes
Autonomous Agents and Multi-Agent Systems
Accurate and efficient runtime detection of atomicity errors in concurrent programs
Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Exploiting distributed version concurrency in a transactional memory cluster
Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Fast and transparent recovery for continuous availability of cluster-based servers
Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming
The costs and limits of availability for replicated services
ACM Transactions on Computer Systems (TOCS)
How to Improve Safety under Convergence Using Stable Storage
IEEE Transactions on Parallel and Distributed Systems
On Consistent Reading of Entire Databases
IEEE Transactions on Knowledge and Data Engineering
Consensus on transaction commit
ACM Transactions on Database Systems (TODS)
Analysis of dependencies in advanced transaction models
Distributed and Parallel Databases
Recovery from "bad" user transactions
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Relaxed-currency serializability for middle-tier caching and replication
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Deferred locking with shadow transaction for client-server DBMSs
Journal of Systems Architecture: the EUROMICRO Journal
Real-time data attack isolation for commercial database applications
Journal of Network and Computer Applications
A near optimal approach to quality of service data replication scheduling
WSC '04 Proceedings of the 36th conference on Winter simulation
Data consistent up- and downstreaming in a distributed storage system
SNAPI '03 Proceedings of the international workshop on Storage network architecture and parallel I/Os
Lazy database replication with snapshot isolation
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
International Journal of Computers and Applications
Application of snapshot isolation protocol to concurrent processing of long transactions
DBA'06 Proceedings of the 24th IASTED international conference on Database and applications
Implementing database replication protocols based on O2PL in a middleware architecture
DBA'06 Proceedings of the 24th IASTED international conference on Database and applications
Performance study of using a new approach to transaction processing in real-time systems
MS'06 Proceedings of the 17th IASTED international conference on Modelling and simulation
Checkpointing and rollback-recovery protocol integrated with VsSG protocol for RYW session guarantee
PDCN'06 Proceedings of the 24th IASTED international conference on Parallel and distributed computing and networks
Reactive provisioning of backend databases in shared dynamic content server clusters
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Database replication policies for dynamic content applications
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Managed Agreement: Generalizing two fundamental distributed agreement problems
Information Processing Letters
Towards a new standard for allowing concurrency and ensuring consistency in revision control systems
Computer Standards & Interfaces
Towards secure multi-sited transactional revision control systems
Computer Standards & Interfaces
The impact of research on middleware technology
ACM SIGSOFT Software Engineering Notes
The impact of research on middleware technology
ACM SIGOPS Operating Systems Review
How to safely close a discussion
Information Processing Letters
Theoretical Computer Science
A lattice-based approach for updating access control policies in real-time
Information Systems
k-bound GSI: a flexible database replication protocol
Proceedings of the 2007 ACM symposium on Applied computing
A mechanism for replicated data consistency in mobile computing environments
Proceedings of the 2007 ACM symposium on Applied computing
Performance analysis of long-lived cooperative transactions in active DBMS
Data & Knowledge Engineering
Improving mobile database access over wide-area networks without degrading consistency
Proceedings of the 5th international conference on Mobile systems, applications and services
A New Operational Transformation Framework for Real-Time Group Editors
IEEE Transactions on Parallel and Distributed Systems
Efficient Dissemination of Transaction-Consistent Data in Broadcast Environments
IEEE Transactions on Knowledge and Data Engineering
Science of Computer Programming
A framework for building an electronic currency system
SSYM'96 Proceedings of the 6th conference on USENIX Security Symposium, Focusing on Applications of Cryptography - Volume 6
Prototype Platforms for Distributed Agreements
Electronic Notes in Theoretical Computer Science (ENTCS)
Design and implementation of a transaction-based filesystem on freeBSD
ATEC '99 Proceedings of the annual conference on USENIX Annual Technical Conference
Contracts and Middleware for Safe SOA Applications
SDSOA '07 Proceedings of the International Workshop on Systems Development in SOA Environments
Sprint: a middleware for high-performance transaction processing
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Tashkent+: memory-aware load balancing and update filtering in replicated databases
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Cooperative Client-Side File Caching for MPI Applications
International Journal of High Performance Computing Applications
Priority Assignment in Distributed Real-time Databases Supporting Temporal Consistency
Integrated Computer-Aided Engineering
Concurrency control issues in grid databases
Future Generation Computer Systems - Special section: Data mining in grid computing environments
On new scheduling policy for the improvement of firm RTDBSs performances
Data & Knowledge Engineering
Improving data access of J2EE applications by exploiting asynchronous messaging and caching services
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
An almost-serial protocol for transaction execution in main-memory database systems
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Exploiting versions for on-line data warehouse maintenance in MOLAP servers
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Synchronizing data stream processing
PDCN'07 Proceedings of the 25th conference on Proceedings of the 25th IASTED International Multi-Conference: parallel and distributed computing and networks
A methodology for asynchronous multi-user editing of semantic web ontologies
Proceedings of the 4th international conference on Knowledge capture
Can-Follow Concurrency Control
IEEE Transactions on Computers
Locking protocols for materialized aggregate join views
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Capturing global transactions from multiple recovery log files in a partitioned database system
VLDB '03 Proceedings of the 29th international conference on Very large data bases - Volume 29
Fault Tolerance via Diversity for Off-the-Shelf Products: A Study with SQL Database Servers
IEEE Transactions on Dependable and Secure Computing
Using advanced transaction and workflow models in composing web services
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
A transaction model and multiversion concurrency control for mobile database systems
Distributed and Parallel Databases
Pronto: High availability for standard off-the-shelf databases
Journal of Parallel and Distributed Computing
Software transactional memory for large scale clusters
Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming
On the Refinement of Atomic Actions
Electronic Notes in Theoretical Computer Science (ENTCS)
Supporting amnesia in log-based recovery protocols
EATIS '07 Proceedings of the 2007 Euro American conference on Telematics and information systems
P2P systems with transactional semantics
EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
Transaction Management for Flash Media Databases in Portable Computing Environments
Journal of Intelligent Information Systems
Concurrency control based on role concept
International Journal of High Performance Computing and Networking
Selective 2-versioning for concurrency control in data warehousing systems: S2V
International Journal of Computer Applications in Technology
A hybrid approach to replica management in data grids
International Journal of Web and Grid Services
Replica synchronisation in grid databases
International Journal of Web and Grid Services
A low-latency resilient protocol for e-business transactions
International Journal of Web Engineering and Technology
Atomic commitment and resilience in grid database systems
International Journal of Grid and Utility Computing
Using MPI file caching to improve parallel write performance for large-scale scientific applications
Proceedings of the 2007 ACM/IEEE conference on Supercomputing
Noncontiguous locking techniques for parallel file systems
Proceedings of the 2007 ACM/IEEE conference on Supercomputing
Cheat-prevention and -analysis in online virtual worlds
Proceedings of the 1st international conference on Forensic applications and techniques in telecommunications, information, and multimedia and workshop
A real-time intrusion prevention system for commercial enterprise databases and file systems
AIKED'05 Proceedings of the 4th WSEAS International Conference on Artificial Intelligence, Knowledge Engineering Data Bases
Introducing self-adaptability into transaction processing
Proceedings of the 2008 ACM symposium on Applied computing
Conflict-aware load-balancing techniques for database replication
Proceedings of the 2008 ACM symposium on Applied computing
SIPRe: a partial database replication protocol with SI replicas
Proceedings of the 2008 ACM symposium on Applied computing
A real-time intrusion prevention system for commercial enterprise databases
SEPADS'05 Proceedings of the 4th WSEAS International Conference on Software Engineering, Parallel & Distributed Systems
Dynamic detection of atomic-set-serializability violations
Proceedings of the 30th international conference on Software engineering
A distributed coordination protocol in an order-heterogeneous group
International Journal of Web and Grid Services
Velodrome: a sound and complete dynamic atomicity checker for multithreaded programs
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Coordination protocols for a reliable sensor, actuator, and device network (SADN)
Mobile Information Systems - Mobile Systems and Applications
Decentralized managing of replication objects in massively distributed systems
DaMaP '08 Proceedings of the 2008 international workshop on Data management in peer-to-peer systems
Maintaining consistency in a failure-prone P2P database network during transaction processing
DaMaP '08 Proceedings of the 2008 international workshop on Data management in peer-to-peer systems
Design and analysis of an adaptive object replication algorithm in distributed network systems
Computer Communications
Extending DBMSs with satellite databases
The VLDB Journal — The International Journal on Very Large Data Bases
A self-adaptable scheduler for synchronizing transactions in dynamically configurable environments
Data & Knowledge Engineering
Jgroup-ARM: a distributed object group platform with autonomous replication management
Software—Practice & Experience
Classifying integrity checking methods with regard to inconsistency tolerance
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Improving the performance of read-only transactions through asynchronous speculation
Proceedings of the 2008 Spring simulation multiconference
Quantity comparison of concurrency control methods for XML database systems based on DOM API
International Journal of Web Engineering and Technology
Simulation of a complex distributed real-time database system
SpringSim '07 Proceedings of the 2007 spring simulation multiconference - Volume 2
Scaling parallel I/O performance through I/O delegate and caching system
Proceedings of the 2008 ACM/IEEE conference on Supercomputing
A real-time intrusion prevention system for commercial enterprise databases and file systems
MMACTEE'08 Proceedings of the 10th WSEAS International Conference on Mathematical Methods and Computational Techniques in Electrical Engineering
Preserving the consistency of distributed objects with real-time transactions
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
Fault-Tolerant Partial Replication in Large-Scale Database Systems
Euro-Par '08 Proceedings of the 14th international Euro-Par conference on Parallel Processing
Preventing Illegal Information Flow Based on Role-Based Access Control Model
NBiS '08 Proceedings of the 2nd international conference on Network-Based Information Systems
Efficient Execution of Small (Single-Tuple) Transactions in Main-Memory Databases
ADBIS '08 Proceedings of the 12th East European conference on Advances in Databases and Information Systems
XWiki Concerto: A P2P Wiki System Supporting Disconnected Work
CDVE '08 Proceedings of the 5th international conference on Cooperative Design, Visualization, and Engineering
Adaptive replication control based on consensus
Proceedings of the 2nd workshop on Dependable distributed data management
A Fault-Tolerant Model of Wireless Sensor-Actuator Network
International Journal of Distributed Sensor Networks - Advances on Heterogeneous Wireless Sensor Networks
Showing correctness of a replication algorithm in a component based system
IDEAS '08 Proceedings of the 2008 international symposium on Database engineering & applications
Transaction time indexing with version compression
Proceedings of the VLDB Endowment
PNUTS: Yahoo!'s hosted data serving platform
Proceedings of the VLDB Endowment
ESORICS '08 Proceedings of the 13th European Symposium on Research in Computer Security: Computer Security
Decomposition for Compositional Verification
ICFEM '08 Proceedings of the 10th International Conference on Formal Methods and Software Engineering
Extending Middleware Protocols for Database Replication with Integrity Support
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Correctness Criteria for Database Replication: Theoretical and Practical Aspects
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
AKARA: A Flexible Clustering Protocol for Demanding Transactional Workloads
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Toward a Theory of Input Acceptance for Transactional Memories
OPODIS '08 Proceedings of the 12th International Conference on Principles of Distributed Systems
Exploiting a database system in scheduling internet-based workflows
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Committing conflicting transactions in an STM
Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming
DTR: Distributed Transaction Routing in a Large Scale Network
High Performance Computing for Computational Science - VECPAR 2008
An Abort-Aware Model of Transactional Programming
VMCAI '09 Proceedings of the 10th International Conference on Verification, Model Checking, and Abstract Interpretation
Symbolic Reachability Analysis of Integer Timed Petri Nets
SOFSEM '09 Proceedings of the 35th Conference on Current Trends in Theory and Practice of Computer Science
Recovery domains: an organizing principle for recoverable operating systems
Proceedings of the 14th international conference on Architectural support for programming languages and operating systems
WormBench: a configurable workload for evaluating transactional memory systems
Proceedings of the 9th workshop on MEmory performance: DEaling with Applications, systems and architecture
Dual-quorum replication for edge services
Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware
Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
A step towards a new generation of group communication systems
Proceedings of the ACM/IFIP/USENIX 2003 International Conference on Middleware
DBFarm: a scalable cluster for multiple databases
Proceedings of the ACM/IFIP/USENIX 2006 International Conference on Middleware
Middleware support for adaptive dependability
Proceedings of the ACM/IFIP/USENIX 2007 International Conference on Middleware
A data damage tracking quarantine and recovery (DTQR) scheme for mission-critical database systems
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Predicting replicated database scalability from standalone database profiling
Proceedings of the 4th ACM European conference on Computer systems
Scheduling data reads and writes using feedback control on a weakly connected environment
International Journal of Computer Applications in Technology
MARK-OPT: A Concurrency Control Protocol for Parallel B-Tree Structures to Reduce the Cost of SMOs
IEICE - Transactions on Information and Systems
Log-based transactional workflow mining
Distributed and Parallel Databases
Blocking reduction for distributed transaction processing within MANETs
Distributed and Parallel Databases
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B
Methods, Models and Tools for Fault Tolerance
Replicated data management in the grid: the Re:GRIDiT approach
Proceedings of the 1st ACM workshop on Data grids for eScience
Snapshot isolation and integrity constraints in replicated databases
ACM Transactions on Database Systems (TODS)
A purpose-based synchronisation protocol of multiple transactions in multi-agent systems
International Journal of Business Intelligence and Data Mining
A legal information flow (LIF) scheduler based on role-based access control model
Computer Standards & Interfaces
Global data computation in chordal rings
Journal of Parallel and Distributed Computing
Optimizing i/o-intensive transactions in highly interactive applications
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
Compensation-aware data types in RDBMS
Proceedings of the 2009 ACM SIGMOD International Conference on Management of data
RESTful Transactions Supported by the Isolation Theorems
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
Transactional agents on distributed object systems
International Journal of High Performance Computing and Networking
Proceedings of the Eighth ACM International Workshop on Data Engineering for Wireless and Mobile Access
Exploring alternatives for transition verification
Journal of Systems and Software
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
A concurrency control scheme for mobile transactions in broadcast disk environments
Data & Knowledge Engineering
Efficient algorithms and performance results for multi-user knowledge bases
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
A fast searching protocol for fully replicated system
ICCOMP'09 Proceedings of the WSEAES 13th international conference on Computers
SideTrack: generalizing dynamic atomicity analysis
Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Journal of Systems and Software
Issues in the development of transactional web applications
IBM Systems Journal
Data & Knowledge Engineering
Cell approximation method in quorum systems for minimizing access time
Cluster Computing
A formal analysis of database replication protocols with SI replicas and crash failures
The Journal of Supercomputing
On performance evaluation and design of atomic commit protocols for mobile transactions
Distributed and Parallel Databases
Consistency rationing in the cloud: pay only when it matters
Proceedings of the VLDB Endowment
Locking key ranges with unbundled transaction services
Proceedings of the VLDB Endowment
Segment-based recovery: write-ahead logging revisited
Proceedings of the VLDB Endowment
Proceedings of the VLDB Endowment
Revising 1-Copy Equivalence in Replicated Databases with Snapshot Isolation
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Knowledge Management in Role Based Agents
ESAW '09 Proceedings of the 10th International Workshop on Engineering Societies in the Agents World X
A Process Calculus of Atomic Commit
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal Specification of a Web Services Protocol
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Sequential verification of serializability
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Partial rollback in object-oriented/object-relational database management systems with dual buffer
Information and Software Technology
An algorithm for dynamic data allocation in distributed systems
Information Processing Letters
A recovery method supporting user-interactive undo in database management systems
Information Sciences: an International Journal
Proxy agent based replication control model for wireless internet
Information Sciences: an International Journal
Proceedings of the first joint WOSP/SIPEW international conference on Performance engineering
Using timestamp ordering in synchronizing Internet-based workflows
ACST '08 Proceedings of the Fourth IASTED International Conference on Advances in Computer Science and Technology
Multiversion repeatable read isolation level: theory and practice
ACST '08 Proceedings of the Fourth IASTED International Conference on Advances in Computer Science and Technology
Attaching transactional requirements to business process specifications
SE '08 Proceedings of the IASTED International Conference on Software Engineering
The DLR-ORECOP real-time replication control protocol
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
DTCOT: distributed timeout based transaction commit protocol for mobile database systems
Proceedings of the International Conference and Workshop on Emerging Trends in Technology
Transactional agents: towards a robust multi-agent system
Transactional agents: towards a robust multi-agent system
Transactions and groups as generic building blocks for software fault tolerance
Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies
Sharing mobile databases in dynamically configurable environments
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Transaction reordering and grouping for continuous data loading
BIRTE'06 Proceedings of the 1st international conference on Business intelligence for the real-time enterprises
ICCS'03 Proceedings of the 1st international conference on Computational science: PartI
A commit scheduler for XML databases
APWeb'03 Proceedings of the 5th Asia-Pacific web conference on Web technologies and applications
TransPeer: adaptive distributed transaction monitoring for Web2.0 applications
Proceedings of the 2010 ACM Symposium on Applied Computing
A distributed protocol for ensuring replicated database consistency in mobile computing environments
Proceedings of the 2010 ACM Symposium on Applied Computing
Role-based scheduling and synchronization algorithms to prevent illegal information flow
NBiS'07 Proceedings of the 1st international conference on Network-based information systems
Secure transaction management protocols for MLS/DDBMS
ICISS'07 Proceedings of the 3rd international conference on Information systems security
Improving the performance of read-only transactions through speculation
DNIS'07 Proceedings of the 5th international conference on Databases in networked information systems
Providing support for data replication protocols with multiple isolation levels
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Wooki: a P2P wiki-based collaborative writing tool
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
A formal analysis of the deferred update technique
OPODIS'07 Proceedings of the 11th international conference on Principles of distributed systems
A closer look at database replication middleware architectures for enterprise applications
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Decentralised commitment for optimistic semantic replication
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Persistent Oberon: a programming language with integrated persistence
APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Middleware support for adaptive dependability
MIDDLEWARE2007 Proceedings of the 8th ACM/IFIP/USENIX international conference on Middleware
Improving recovery in weak-voting data replication
APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies
GUESSTIMATE: a programming model for collaborative distributed systems
PLDI '10 Proceedings of the 2010 ACM SIGPLAN conference on Programming language design and implementation
A survey of B-tree locking techniques
ACM Transactions on Database Systems (TODS)
G-Store: a scalable data store for transactional multi key access in the cloud
Proceedings of the 1st ACM symposium on Cloud computing
Sedna: native XML database management system (internals overview)
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
Towards robust optimistic approaches
Future directions in distributed computing
Brief announcement: on speculative replication of transactional systems
Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures
Performance evaluation of Atomic Commit Protocols for mobile transactions
International Journal of Intelligent Information and Database Systems
Synthesizing advanced transaction models using the situation calculus
Journal of Intelligent Information Systems
Byzantium: Byzantine-fault-tolerant database replication providing snapshot isolation
HotDep'08 Proceedings of the Fourth conference on Hot topics in system dependability
Concurrent one-way protocols in around-the-clock social networks
Procceedings of the 13th International Workshop on the Web and Databases
Concurrent programming with revisions and isolation types
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Concurrent atomic protocols for making and changing decisions in social networks
CIKM '10 Proceedings of the 19th ACM international conference on Information and knowledge management
An analysis of the Ariane 5 flight 501 failure - a system engineering perspective
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
The failure detector abstraction
ACM Computing Surveys (CSUR)
V locking protocol for materialized aggregate join views on B-tree indices
WAIM'10 Proceedings of the 11th international conference on Web-age information management
A model of independence and overlap for transactions on database schemata
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Damage assessment and repair in attack resilient distributed database systems
Computer Standards & Interfaces
Abstraction for concurrent objects
Theoretical Computer Science
Adding PEP to real-time distributed commit processing
RTSS'10 Proceedings of the 21st IEEE conference on Real-time systems symposium
Accommodating logical logging under fuzzy checkpointing in main memory databases
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
A replica control method for improving availability for read-only transactions
IDEAS'97 Proceedings of the 1997 international conference on International database engineering and applications symposium
A formal characterization of SI-based ROWA replication protocols
Data & Knowledge Engineering
ESCC: a new deadline-driven extension of the SCC protocol
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
A lost invalidation checking scheme for transaction consistency in mobile environments
ISPDC'03 Proceedings of the Second international conference on Parallel and distributed computing
Computer Standards & Interfaces
Database replication: a tale of research across communities
Proceedings of the VLDB Endowment
The case for determinism in database systems
Proceedings of the VLDB Endowment
Speculation-based protocols for improving the performance of read-only transactions
International Journal of Computational Science and Engineering
SPORC: group collaboration using untrusted cloud resources
OSDI'10 Proceedings of the 9th USENIX conference on Operating systems design and implementation
Overview of multidatabase transaction management
CASCON First Decade High Impact Papers
On the expressiveness and trade-offs of large scale tuple stores
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems: Part II
Scalable transactions in the cloud: partitioning revisited
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems: Part II
Achieving Data Consistency by Contextualization in Web-Based Collaborative Applications
ACM Transactions on Internet Technology (TOIT)
Ensuring atomicity of multilevel transactions
SP'96 Proceedings of the 1996 IEEE conference on Security and privacy
Revisiting and improving a result on integrity preservation by concurrent transactions
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
Mementos: system support for long-running computation on RFID-scale devices
Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems
Transaction processing in a peer to peer database network
Data & Knowledge Engineering
Making the common case the only case with anticipatory memory allocation
FAST'11 Proceedings of the 9th USENIX conference on File and stroage technologies
Semantics of concurrent revisions
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
FlurryDB: a dynamically scalable relational database with virtual machine cloning
Proceedings of the 4th Annual International Conference on Systems and Storage
SCert: Speculative certification in replicated software transactional memories
Proceedings of the 4th Annual International Conference on Systems and Storage
NDSeq: runtime checking for nondeterministic sequential specifications of parallel correctness
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
Log-based middleware server recovery with transaction support
The VLDB Journal — The International Journal on Very Large Data Bases
Improving scalability by self-archiving
Proceedings of the 11th annual international ACM/IEEE joint conference on Digital libraries
Non functional properties of event porcessing
Proceedings of the 5th ACM international conference on Distributed event-based system
On the design of perturbation-resilient atomic commit protocols for mobile transactions
ACM Transactions on Computer Systems (TOCS)
Asynchronous lease-based replication of software transactional memory
Proceedings of the ACM/IFIP/USENIX 11th International Conference on Middleware
Advances in distributed control systems data bases
Proceedings of the 15th WSEAS international conference on Computers
Prettier concurrency: purely functional concurrent revisions
Proceedings of the 4th ACM symposium on Haskell
Evaluating CRDTs for real-time document editing
Proceedings of the 11th ACM symposium on Document engineering
Concurrent execution of transactions in a peer-to-peer database network
International Journal of Intelligent Information and Database Systems
Looking for efficient implementations of concurrent objects
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
Transactional storage for geo-replicated systems
SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Testing atomicity of composed concurrent operations
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Composable, nestable, pessimistic atomic statements
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
SMV: selective multi-versioning STM
DISC'11 Proceedings of the 25th international conference on Distributed computing
Dynamic data race detection for correlated variables
ICA3PP'11 Proceedings of the 11th international conference on Algorithms and architectures for parallel processing - Volume Part I
Making the common case the only case with anticipatory memory allocation
ACM Transactions on Storage (TOS)
DBFarm: a scalable cluster for multiple databases
Middleware'06 Proceedings of the 7th ACM/IFIP/USENIX international conference on Middleware
Optimistic algorithms for partial database replication
OPODIS'06 Proceedings of the 10th international conference on Principles of Distributed Systems
A client centric replication model for mobile environments based on RESTful resources
Proceedings of the Workshop on Posters and Demos Track
A protocol for reconciling recovery and high-availability in replicated databases
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
Using WS-coordination and semantic messaging in implementing reverse combinatorial auctions
Proceedings of the 13th International Conference on Information Integration and Web-based Applications and Services
High-performance concurrency control mechanisms for main-memory databases
Proceedings of the VLDB Endowment
Efficient maintenance of ephemeral data
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
Enabling business process interoperability using contract workflow models
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Modelling the √N + ROWA model approach inside the WS-ReplicationResource
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Failure recovery in grid database systems
IWDC'04 Proceedings of the 6th international conference on Distributed Computing
MPX: a multiversion concurrency control protocol for XML documents
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Cooperative write-behind data buffering for MPI i/o
PVM/MPI'05 Proceedings of the 12th European PVM/MPI users' group conference on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Executing mobile applications on the cloud: Framework and issues
Computers & Mathematics with Applications
A survey of B-tree logging and recovery techniques
ACM Transactions on Database Systems (TODS)
Elimination of non-deterministic delays in a real-time database system
ICESS'05 Proceedings of the Second international conference on Embedded Software and Systems
Synchronization and recovery in an embedded database system for read-only transactions
EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing
Group communication: from practice to theory
SOFSEM'06 Proceedings of the 32nd conference on Current Trends in Theory and Practice of Computer Science
Online, non-blocking relational schema changes
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
On concurrency control in sliding window queries over data streams
EDBT'06 Proceedings of the 10th international conference on Advances in Database Technology
Workload characterization in multiplayer online games
ICCSA'06 Proceedings of the 6th international conference on Computational Science and Its Applications - Volume Part I
A timestamp-based optimistic concurrency control for handling mobile transactions
ICCSA'06 Proceedings of the 2006 international conference on Computational Science and Its Applications - Volume Part II
Recovering from malicious attacks in workflow systems
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Performance of distributed optimistic concurrency control in real-time databases
CIT'04 Proceedings of the 7th international conference on Intelligent Information Technology
RAIDb: redundant array of inexpensive databases
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
Model checking for database theoreticians
ICDT'05 Proceedings of the 10th international conference on Database Theory
CAV'06 Proceedings of the 18th international conference on Computer Aided Verification
On consistency of encrypted files
DISC'06 Proceedings of the 20th international conference on Distributed Computing
Brief announcement: optimistic algorithms for partial database replication
DISC'06 Proceedings of the 20th international conference on Distributed Computing
Analysis of the abortion rate on lazy replication protocols
VECPAR'04 Proceedings of the 6th international conference on High Performance Computing for Computational Science
An MDA-Based approach for inferring concurrency in distributed systems
FIDJI'04 Proceedings of the 4th international conference on Scientific Engineering of Distributed Java Applications
ICNC'05 Proceedings of the First international conference on Advances in Natural Computation - Volume Part III
MADIS: a slim middleware for database replication
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
DBSec'05 Proceedings of the 19th annual IFIP WG 11.3 working conference on Data and Applications Security
XDGL: XPath-based concurrency control protocol for XML data
BNCOD'05 Proceedings of the 22nd British National conference on Databases: enterprise, Skills and Innovation
iSAN: an intelligent storage area network architecture
HiPC'04 Proceedings of the 11th international conference on High Performance Computing
Controlling concurrent accesses in multimedia databases for decision support
PCM'04 Proceedings of the 5th Pacific Rim Conference on Advances in Multimedia Information Processing - Volume Part II
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
A nested transaction model for LDAP transactions
ICDCIT'04 Proceedings of the First international conference on Distributed Computing and Internet Technology
Transaction manager failover: a case study using JBOSS application server
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
Gracefully degrading fair exchange with security modules
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Proof-based system engineering using a virtual system model
ISAS'05 Proceedings of the Second international conference on Service Availability
Supporting information access in next generation digital library architectures
DELOS'04 Proceedings of the 6th Thematic conference on Peer-to-Peer, Grid, and Service-Orientation in Digital Library Architectures
Group-Based replication of on-line transaction processing servers
LADC'05 Proceedings of the Second Latin-American conference on Dependable Computing
A task-type aware transaction scheduling algorithm in J2EE
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, COA, and ODBASE - Volume Part II
Data management challenges in cloud computing infrastructures
DNIS'10 Proceedings of the 6th international conference on Databases in Networked Information Systems
Role-based serializability for distributed object systems
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
Dependable Systems
Rigorous design of fault-tolerant transactions for replicated database systems using event b
Rigorous Development of Complex Fault-Tolerant Systems
A critique of snapshot isolation
Proceedings of the 7th ACM european conference on Computer Systems
Journal of Computer and System Sciences
NGITS'06 Proceedings of the 6th international conference on Next Generation Information Technologies and Systems
Batching: a design pattern for efficient and flexible client/server interaction
Transactions on Pattern Languages of Programming I
From object replication to database replication
Replication
Database replication: a tutorial
Replication
Practical database replication
Replication
Dynamic primary copy with piggy-backing mechanism for replicated UDDI registry
ICDCIT'06 Proceedings of the Third international conference on Distributed Computing and Internet Technology
Performance measurement and tuning of hot-standby databases
ISAS'06 Proceedings of the Third international conference on Service Availability
Proof and evaluation of a 1CS middleware data replication protocol based on O2PL
ISPA'06 Proceedings of the 4th international conference on Parallel and Distributed Processing and Applications
Recovery strategies for linear replication
ISPA'06 Proceedings of the 4th international conference on Parallel and Distributed Processing and Applications
Dual-Quorum replication for edge services
Middleware'05 Proceedings of the ACM/IFIP/USENIX 6th international conference on Middleware
On the implementation of concurrent objects
Dependable and Historic Computing
Abstract state machines for data-parallel computing
Conceptual Modelling and Its Theoretical Foundations
Foundations and Trends in Databases
Admissible record-oriented evaluation plans for declarative updates
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Two phase locking-based algorithm with partial abort for firm deadline real-time database systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Concurrency control in distributed object-oriented database systems
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Extension based Limited Lookahead Supervision of Discrete Event Systems
Automatica (Journal of IFAC)
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Concurrency and backtracking in Vienna Parallel Logic
Computer Languages
Research: Significantly ordered delivery of messages in group communication
Computer Communications
A distributed tactical battle-data transaction management system
Mathematical and Computer Modelling: An International Journal
Towards modeling reconfiguration in hierarchical component architectures
Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering
Mobius: unified messaging and data serving for mobile apps
Proceedings of the 10th international conference on Mobile systems, applications, and services
Maintaining data temporal consistency in distributed real-time systems
Real-Time Systems
Survey of state melding in virtual worlds
ACM Computing Surveys (CSUR)
Supporting semantic conflict prevention in real-time collaborative programming environments
ACM SIGAPP Applied Computing Review
Marathon: detecting atomic-set serializability violations with conflict graphs
RV'11 Proceedings of the Second international conference on Runtime verification
Poor man's social network: consistently trade freshness for scalability
WebApps'12 Proceedings of the 3rd USENIX conference on Web Application Development
Serializability, not serial: concurrency control and availability in multi-datacenter datastores
Proceedings of the VLDB Endowment
Supporting multiple isolation levels in replicated environments
Data & Knowledge Engineering
Towards conflict-free composition of non-functional concerns
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
McPatom: a predictive analysis tool for atomicity violation using model checking
SPIN'12 Proceedings of the 19th international conference on Model Checking Software
Atomicity And Concurrency Control In Process Calculi
Fundamenta Informaticae
A Concurrent Functional Semantics for a Process Algebra Based on Action Systems
Fundamenta Informaticae
Making geo-replicated systems fast as possible, consistent when necessary
OSDI'12 Proceedings of the 10th USENIX conference on Operating Systems Design and Implementation
A formal analysis of the deferred update technique
DISC'07 Proceedings of the 21st international conference on Distributed Computing
Cooperative data management for XML data
DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications
P2P data replication and trustworthiness for a JXTA-Overlay P2P system using fuzzy logic
Applied Soft Computing
Non-blocking atomic commitment in asynchronous distributed systems with faulty processes
ICA3PP'12 Proceedings of the 12th international conference on Algorithms and Architectures for Parallel Processing - Volume Part I
Managing uncertainty in databases and scaling it up to concurrent transactions
SUM'12 Proceedings of the 6th international conference on Scalable Uncertainty Management
A fuzzy-based data replication system for QoS improvement in MANETs
Proceedings of the 10th International Conference on Advances in Mobile Computing & Multimedia
Reducing Blocking Risks of Atomic Transactions in MANETs Using a Backup Coordinator
International Journal of Ambient Computing and Intelligence
Cloud Platform Datastore Support
Journal of Grid Computing
Lightweight locking for main memory database systems
Proceedings of the VLDB Endowment
Model checking database applications
TACAS'13 Proceedings of the 19th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Scalable and dynamically balanced shared-everything OLTP with physiological partitioning
The VLDB Journal — The International Journal on Very Large Data Bases
Concurrent libraries with foresight
Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation
A scalable lock manager for multicores
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
RapiLog: reducing system complexity through verification
Proceedings of the 8th ACM European Conference on Computer Systems
Distributed and Parallel Databases
MoSQL: an elastic storage engine for MySQL
Proceedings of the 28th Annual ACM Symposium on Applied Computing
HAT, not CAP: towards highly available transactions
HotOS'13 Proceedings of the 14th USENIX conference on Hot Topics in Operating Systems
OF.CPP: consistent packet processing for openflow
Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking
EventWave: programming model and runtime support for tightly-coupled elastic cloud applications
Proceedings of the 4th annual Symposium on Cloud Computing
Proceedings of the 4th annual Symposium on Cloud Computing
MixSL: an efficient transaction recovery model in flash-based DBMS
WAIM'13 Proceedings of the 14th international conference on Web-Age Information Management
ADC '13 Proceedings of the Twenty-Fourth Australasian Database Conference - Volume 137
ACM SIGACT News
On the scalability of snapshot isolation
Euro-Par'13 Proceedings of the 19th international conference on Parallel Processing
On speculative replication of transactional systems
Journal of Computer and System Sciences
Low-latency multi-datacenter databases using replicated commit
Proceedings of the VLDB Endowment
Time-warp: lightweight abort minimization in transactional memory
Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming
Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming
QuP: Graceful Degradation in State Propagation for DVEs
Proceedings of International Workshop on Massively Multiuser Virtual Environments
Consistency anomalies in multi-tier architectures: automatic detection and prevention
The VLDB Journal — The International Journal on Very Large Data Bases
Beyond IaaS and PaaS: An Extended Cloud Taxonomy for Computation, Storage and Networking
UCC '13 Proceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing
Scalable service-oriented replication with flexible consistency guarantee in the cloud
Information Sciences: an International Journal
Optimally Adaptive Power-Saving Protocols for Ad Hoc Networks Using the Hyper Quorum System
IEEE/ACM Transactions on Networking (TON)
Warranties for faster strong consistency
NSDI'14 Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation
The impact of research on the development of middleware technology
ACM Transactions on Software Engineering and Methodology (TOSEM)
Hi-index | 0.15 |