Mobile agent-based execution modelling | IEEE Conference Publication | IEEE Xplore