Search
Results
-
A symbolic approach to the state graph based analysis of high-level Markov reward models
(2007)Doctoral Thesis -
A Uniform Framework for the Formal Specification and Verification of Information Flow Security
(2003)Doctoral Thesis -
-
-
Community sense and response systems
(2014)The proliferation of smartphones and other internet-enabled, sensor-equipped consumer devices enables us to sense and act upon the physical environment in unprecedented ways. This thesis considers Community Sense-and-Response (CSR) systems, a new class of web application for acting on sensory data gathered from participants' personal smart devices. The thesis describes how rare events can be reliably detected using a decentralized anomaly ...Doctoral Thesis -
-
-
-