Concurrency Control

A concurrency control framework for collaborative systems

Collaborative System / Merging / Concurrency Control / Coupling

A Formal Methodology to Specify E-commerce Systems

Model Checking / Process Control / Symbolic Computation / Formal methods / Design process / Formal Specification / Formal method / Formal Verification / Application development / Concurrency Control / Boolean Satisfiability / E Commerce / Electronic Commerce / Symbolic Model Checking / Formal Specification / Formal method / Formal Verification / Application development / Concurrency Control / Boolean Satisfiability / E Commerce / Electronic Commerce / Symbolic Model Checking

Semantic concurrency control in object-oriented database systems

Information Systems / Computer Science / Publishing / Semantics / Database Systems / Protocols / Concurrency Control / Transaction Processing / Object Oriented Database Systems / Database System / Data Type / Application Software / Protocols / Concurrency Control / Transaction Processing / Object Oriented Database Systems / Database System / Data Type / Application Software

Hierarchical, adaptive cache consistency in a page server OODBMS

Distributed Computing / Database Systems / Computer Aided Manufacturing / Computer Hardware / Databases / Computer Software / Measurement / Data transfer / Concurrency Control / Client Server / Parallel Machines / Object Oriented Database Systems / Performance Measure / Computer Software / Measurement / Data transfer / Concurrency Control / Client Server / Parallel Machines / Object Oriented Database Systems / Performance Measure

Serializability by commitment ordering

Engineering / Database Systems / Transactional Analysis / Distributed System / Distributed Systems / Concurrency / Mathematical Sciences / Concurrency Control / Autonomous Braking System / Database / Concurrency / Mathematical Sciences / Concurrency Control / Autonomous Braking System / Database

Copyright © 2017 DADOSPDF Inc.