scientific article; zbMATH DE number 482761

From MaRDI portal
Publication:4274970

zbMath0781.68006MaRDI QIDQ4274970

Jim Gray, Andreas Reuter

Publication date: 15 December 1993


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (41)

Advanced concurrency control in JavaAutomatic workflow verification and generationDistributed speculative execution for reliability and fault tolerance: an operational semanticsOver-time and over-level replacement policies with random working cyclesA brief introduction to distributed systemsAutomatic relational database compression scheme design based on swarm evolutionPreference update for e-commerce applications: Model, language, and processingFormal specification of a web services protocolMulticriteria resource brokering in cloud computing for streaming serviceSplitting atoms safelyPerformance of fault-tolerant data and compute intensive programs over a network of workstationsTransaction management in RDBMSs with XML supportLockless blockchain sharding with multiversion controlPronto: high availability for standard off-the-shelf databasesScheduling optimization in coupling independent services as a grid transactionX-Ability: a theory of replicationAdaptive locks: combining transactions and locks for efficient concurrencyExtensible transactional memory testbedRead-abortion (RA) based synchronization protocols to prevent illegal information flowAn on-line algorithm to optimize file layout in a dynamic environmentUnnamed ItemQueueing analysis of a server node in transaction processing middleware systemsAn efficient object promotion algorithm for persistent object systemsThe Two-Phase Commitment Protocol in an Extended π-CalculusMapping evolution of dynamic web ontologiesConformance notions for the coordination of interaction componentscJoin: Join with communicating transactionsRecoverable mutual exclusionLinuxDirector: A connection director for scalable internet servicePVS Embedding of cCSP Semantic Models and Their RelationshipAtomic actions, and their refinements to isolated protocolsStatic versus dynamic reversibility in CCSA rule based knowledge transaction model for mobile environmentsCompensation by designThe Conversation Calculus: A Model of Service-Oriented ComputationReplication and consistency in a distributed environmentGlobal lock escalation in database management systems.Overcoming heterogeneity and autonomy in multidatabase systemsRestructuring the concurrent B\(^{+}\)-tree with non-blocked search operationsConsistency verification in transaction-based optimistic steering of distributed computationsRecovering distributed objects




This page was built for publication: