Latest Publications
Mobility Prediction in Pervasive Context-Awareness System
The prediction of the context and especially the location of a user is a very important task in the field of pervasive computing. It is an important factor that can reveal the user’s needs and hence allows the proactive […]
Using probabilistic temporal logic PCTL and model checking for context prediction
Context prediction is a promoting research topic with a lot of challenges and opportunities. Indeed, with the constant evolution of context-aware systems, context prediction remains a complex task due to the lack of formal approach. In this paper, we propose […]
