Research on smart houses has mostly been focused on automation and invisible integration of technology, which may lead to a perceived loss of control and a sense of being observed....
—Identifiers are an essential component of online communication. My research focuses on the ways that social, technical and policy factors affect people’s behavior with online...
Abstract In the near future, it will be possible to continuously record and store the entire audio–visual lifetime of a person together with all digital information that the pers...
—Broadcasting of media events is a real-time action demanding reliable just in time decisions based on the current content of incoming video streams and the availability of backg...
We present a framework for defining abstract interpreters for liveness properties, in particular program termination. The framework makes use of the theory of metric spaces to defi...