Enactable Electronic Contracts in E-Commerce: Models, Technologies and Architectures | IEEE Conference Publication | IEEE Xplore