Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation

Osmar Marchi dos Santos, Andy J. Wellings. Cost Monitoring and Enforcement in the Real-Time Specification for Java - A Formal Evaluation. In Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 6-8 December 2005, Miami, FL, USA. pages 177-186, IEEE Computer Society, 2005. [doi]

Abstract

Abstract is missing.