Agent support for PSE migration in VHE | IEEE Conference Publication | IEEE Xplore