Optimal Edge Resource Allocation in IoT-Based Smart Cities | Synapse