A deterministic QoE formalization of user satisfaction demands (DQX) | IEEE Conference Publication | IEEE Xplore