Latest Publications
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 […]
Spatiotemporal context modelling in pervasive context-aware computing environment: a logic perspective
Pervasive context-aware computing, is one of the topics that received particular attention from researchers. The context, itself is an important notion explored in many works discussing its: acquisition, definition, modelling, reasoning and more. Given the permanent evolution of context-aware systems, […]
A slow read attack using cloud
Cloud computing relies on sharing computing resources rather than having local servers or personal devices to handle applications. Nowadays, cloud computing has become one of the fastest-growing fields in information technology. However, several new security issues of cloud computing have […]
