A Runtime Monitoring Environment for Mobile Java | IEEE Conference Publication | IEEE Xplore