MAGNA-a DPE-based platform for mobile agents in electronic service markets | IEEE Conference Publication | IEEE Xplore