A Real-Time Cloud-Based Intelligent Car Parking System for Smart Cities | IEEE Conference Publication | IEEE Xplore