Downloadable service contracts for disconnected transactions | IEEE Conference Publication | IEEE Xplore