Forthcoming. Now Available: Just Accepted Version.| Harvard Data Science Review
Forthcoming. Now Available: Just Accepted Version.| Harvard Data Science Review
Forthcoming. Now Available: Just Accepted Version.| Harvard Data Science Review
Forthcoming. Now Available: Just Accepted Version.| Harvard Data Science Review
If ubiquitous computing (ubicomp) is to enhance physical environments then early and accurate assessment of alternative solutions will be necessary to avoid costly deployment of systems that fail to meet requirements. In the context of APEX, a project ending this … Continue reading →| HASlab
Accepted at Nasa Formal Methods 2014. by Nuno Carvalho, Cristiano da Silva Sousa, Jorge Sousa Pinto, and Aaron Tomb Abstract: This paper presents our results in the formal verification of klibc, a minimalistic C library, using the Frama-C WP tool. We report how we were able … Continue reading →| HASlab
Analysing interactive devices based on information resource constraints Analysis of the usability of an interactive system requires both an understanding of how the system is to be used and a means of assessing the system against that understanding. Such analytic … Continue reading →| HASlab