An Auction based Edge Resource Allocation Mechanism for IoT-enabled Smart Cities | IEEE Conference Publication | IEEE Xplore