On Optimal Resource Allocation of VAV Customized Cloud Platform Based on Bi-level Programming | IEEE Conference Publication | IEEE Xplore