Mobile resource guarantees for smart devices (2005)

by D Aspinall, S Gilmore, M Hofmann, D Sannella, I Stark
Venue:In Construction and Analysis of Safe, Secure and Interoperable Smart Devices: Proceedings of the International Workshop CASSIS 2004, number 3362 in Lecture Notes in Computer Science