𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Active, Real-Time, and Temporal Database Systems Volume 1553 || Design of a Real-Time SQL Engine in the Distributed Environment

✍ Scribed by Andler, Sten F.; Hansson, Jörgen

Book ID
121370439
Publisher
Springer Berlin Heidelberg
Year
1998
Weight
270 KB
Category
Article
ISBN
3540491511

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Form
[Lecture Notes in Computer Science] Formal Methods for the Design of Real-Time Systems Volume 3185 || Real Time and Stochastic Time
✍ Bernardo, Marco; Corradini, Flavio 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 727 KB

A Large Class Of Computing Systems Can Be Speci?ed And Veri?ed By Abstracting Away From The Temporal Aspects Of Their Behavior. Inreal-timesystems,instead, Time Issues Become Essential. Their Correctness Depends Not Only On Which - Tions They Can Perform, But Also On The Action Execution Time. Due T