1729 search results - page 27 / 346 » Practical Temporal Projection |
CHI
2003
ACM
14 years 8 months ago
2003
ACM
This paper describes an ongoing research project aiming to find design implications for information technology supporting police patrol work. A field study of approximately 300 ho...
DLOG
2007
13 years 10 months ago
2007
Clio is a joint research project between the University of Toronto and IBM Almaden Research Center started in 1999 to address both foundational and systems issues related to the ma...
AVI
2006
13 years 9 months ago
2006
Over time, many people accumulate extensive email repositories that contain detailed information about their personal communication patterns and relationships. We present three vi...
POLICY
2007
Springer
14 years 1 months ago
2007
Springer
—There is increasing demand for running interacting applications in a secure and controllable way on mobile devices. Such demand is not fully supported by the Java/.NET security ...
GLVLSI
2006
IEEE
14 years 1 months ago
2006
IEEE
Formal methods have been advocated for the verification of digital design where correctness is proved mathematically. In contrast to digital designs, the verification of analog ...