A framework for modeling applications as distributed active objects | IEEE Conference Publication | IEEE Xplore