Engineering mobile agent applications via context-dependent coordination | IEEE Journals & Magazine | IEEE Xplore