HUC
2007
Springer
14 years 7 months ago
2007
Springer
We report the results of a long-term, multi-site field trial of a situated awareness device for families called the “Whereabouts Clock”. The Clock displayed family members’ c...
HUC
2007
Springer
14 years 7 months ago
2007
Springer
We describe our experience building and using a reasoning system for providing context-based prompts to elders to take their medication. We describe the process of specification, ...
HUC
2007
Springer
14 years 7 months ago
2007
Springer
This paper presents Haggle, an architecture for mobile devices that enables seamless network connectivity and application functionality in dynamic mobile environments. Current appl...
HUC
2007
Springer
14 years 7 months ago
2007
Springer
This article investigates the conflicting area of user benefits arising through item level RFID tagging and a desire for privacy. It distinguishes between three approaches feasible...
HUC
2007
Springer
14 years 7 months ago
2007
Springer
How should Ubicomp technologies be evaluated? While lab studies are good at sensing aspects of human behavior and revealing usability problems, they are poor at capturing context o...
HUC
2007
Springer
14 years 7 months ago
2007
Springer
Robots have entered our domestic lives, but yet, little is known about their impact on the home. This paper takes steps towards addressing this omission, by reporting results from ...
HUC
2007
Springer
14 years 7 months ago
2007
Springer
We describe a novel method for symbolic location discovery of simple objects. The method requires no infrastructure and relies on simple sensors routinely used in sensor nodes and ...
FOSSACS
2007
Springer
14 years 7 months ago
2007
Springer
Desharnais, Gupta, Jagadeesan and Panangaden introduced a family of behavioural pseudometrics for probabilistic transition systems. These pseudometrics are a quantitative analogue ...
FOSSACS
2007
Springer
14 years 7 months ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...
FOSSACS
2007
Springer
14 years 7 months ago
2007
Springer
Abstract. Logics that can reason about sets and their cardinality bounds are useful in program analysis, program verification, databases, and knowledge bases. This paper presents ...