Distributed Edge Computing for Resource Allocation in Smart Cities Based on the IoT | Synapse