Engineering mobile-agent applications via context-dependent coordination | IEEE Conference Publication | IEEE Xplore