Browsing by Subject "context-aware formal modelling"
Now showing items 1-1 of 1
(Thesis or dissertation / Doctoral / PhD)Pervasive (ubiquitous) computing is a new paradigm where the computers are submerged into the background of the everyday life. One important aspect of pervasive systems is context-awareness. Context-aware systems are those ...