DeResolver: a decentralized negotiation and conflict resolution framework for smart city services.