An API for high-level software engineering of distributed and mobile applications | IEEE Conference Publication | IEEE Xplore