Login / Signup
Formal model for user-centred adaptive mobile devices.
Tommaso Di Noia
Eugenio Di Sciascio
Francesco M. Donini
Marina Mongiello
Francesco Nocera
Published in:
IET Softw. (2017)
Keyphrases
</>
formal model
user centred
mobile devices
context aware
adaptive systems
mobile learning
mobile phone
digital libraries
formal models
information retrieval
security properties
predicate calculus
ubiquitous computing
security patterns