An Optimal Value-Based Admission Policy and its Reflective Use in Real-Time Systems ANDREA BondavalliFELICITA DI GiandomenicoIVAN Mura OriginalPaper Pages: 5 - 30
Priority Scheduling of Transactions in Distributed Real-Time Databases Victor C. S. LeeKam-Yiu LamBen Kao OriginalPaper Pages: 31 - 62
Procedure-Level Verification of Real-time Concurrent Systems Farn WangChia-Tien Lo OriginalPaper Pages: 81 - 114