Edge Computing Services for Smart Cities: A Review and Case Study | IEEE Conference Publication | IEEE Xplore