Resource provisioning for IoT application services in smart cities | IEEE Conference Publication | IEEE Xplore