Towards a runtime evolutionary model of user-adapted interaction in a ubiquitous environment: the RADEM formal model. - Faouzi Moussa; Imen Ismail; Mouna Jarraya (Cogn. Technol. Work., 2015)