Towards a generic computation model for smart city platforms | IEEE Conference Publication | IEEE Xplore