Cover model: a framework for design and execution of distributed applications | IEEE Conference Publication | IEEE Xplore