Journal: Real-Time Systems

Volume 15, Issue 3

189 -- 219HanĂȘne Ben-Abdallah, Jin-Young Choi, Duncan Clarke, Young-Si Kim, Insup Lee, Hong-liang Xie. A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems
221 -- 247Niladri Chatterjee, John A. Campbell. Cashing in on Caching: An Architecture for Time-Bounded Knowledge-Based Problem Solving
249 -- 273Jiandong Huang, Peng-Jun Wan, Ding-Zhu Du. Criticality- and QoS-Based Multiresource Negotiation and Adaptation
275 -- 298Joachim Wegener, Matthias Grochtmann. Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing