Datacenter at the Airport: Reasoning about Time-Dependent Parking Lot Occupancy | IEEE Journals & Magazine | IEEE Xplore