Hot updates for Java based smart cards | IEEE Conference Publication | IEEE Xplore