A migration-oriented partial adaptation architecture for IoT-empowered city platform as a service | IEEE Conference Publication | IEEE Xplore