Transaction mechanism design in decentralized computational market | IEEE Conference Publication | IEEE Xplore