✦ LIBER ✦

Modeling selected real-time database concurrency control protocols in Uppaal

✍ Scribed by Martin Kot

Publisher: Springer
Year: 2009
Tongue: English
Weight: 307 KB
Volume: 5
Category: Article
ISSN: 1614-5046
DOI: 10.1007/s11334-009-0086-3

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Optimistic priority-based concurrency co

Optimistic priority-based concurrency control protocol for firm real-time database systems

✍ Jinhwan Kim; Heonshik Shin 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 860 KB

The Freeze algorithms for concurrency co

The Freeze algorithms for concurrency control in secure real-time database systems

✍ Chanjung Park; Seog Park 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 342 KB

Database systems for real-time applications must satisfy timing constraints associated with transactions. Typically, a timing constraint is expressed in the form of a deadline and is represented as a priority to be used by schedulers. Recently, security has become another important issue in many rea

A design model of distributed database i

A design model of distributed database in real-time control

✍ Bin Fang; Peng Tian Qiang 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 514 KB