A Process Algebraic Approach to the Schedulability Analysis of Real-Time Systems Hanene Ben-AbdallahJin-Young ChoiHong-Liang Xie OriginalPaper Pages: 189 - 219
Cashing in on Caching: An Architecture for Time-Bounded Knowledge-Based Problem Solving Niladri ChatterjeeJ. A. Campbell OriginalPaper Pages: 221 - 247
Criticality- and QoS-Based Multiresource Negotiation and Adaptation J. HuangP.-J. WanD.-Z. Du OriginalPaper Pages: 249 - 273
Verifying Timing Constraints of Real-Time Systems by Means of Evolutionary Testing Joachim WegenerMatthias Grochtmann OriginalPaper Pages: 275 - 298