An agent-based negotiation model for user-adaptive service provision | IEEE Conference Publication | IEEE Xplore