In recent years, the Smart City concept has become popular for its promise to improve the quality of life of urban citizens. The concept involves multiple disciplines, such as Smart healthcare, Smart transportation, and Smart community. Most services in Smart Cities, especially in the Smart healthcare domain, require the real-time sharing, processing and analyzing of Big Healthcare Data for intelligent decision-making. Therefore, a strong wireless and mobile communication infrastructure is necessary to connect and access Smart healthcare services, people, and sensors seamlessly anywhere at any time. In this scenario, mobile cloud computing (MCC) can play a vital role by offloading Big Healthcare Data related tasks such as sharing, processing and analysis, from mobile applications to cloud resources, ensuring quality of service (QoS) demands of end-users. Such resource migration, which is also termed Virtual Machine (VM) migration, is very effective in the Smart healthcare scenario in Smart Cities. In this paper, we propose an Ant Colony Optimization (ACO) based joint VM migration model for a heterogeneous, MCCbased Smart Healthcare system in Smart City environment. In this model, the user’s mobility and provisioned VM resources in the cloud address the VM migration problem. We also present a thorough performance evaluation to investigate the effectiveness of our proposed model compared to state-of-the-art approache