http://arrow.latrobe.edu.au:8080/vital/access/manager/Index ${session.getAttribute("locale")} 5 Stability in context-aware pervasive systems : a state-space modelling approach. http://arrow.latrobe.edu.au:8080/vital/access/manager/Repository/latrobe:23728 Wed 09 Dec 2015 19:10:00 EST ]]> Verification of uncertain context based on a theory of context spaces. http://arrow.latrobe.edu.au:8080/vital/access/manager/Repository/latrobe:24081 Thu 10 Dec 2015 01:58:39 EST ]]> Maintaining continuous dependability in sensor-based context-aware pervasive computing systems http://arrow.latrobe.edu.au:8080/vital/access/manager/Repository/latrobe:23737 Thu 10 Dec 2015 00:41:32 EST ]]>