Specification and verification of complex location events with panoramic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6030 LNCS, Issue , 2010, Pages 57-75

  Welbourne, Evan ^a   Balazinska, Magdalena ^a   Borriello, Gaetano ^a   Fogarty, James ^a  

^a UNIVERSITY OF WASHINGTON   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS ACTIVITY MONITORING; COMPLEX MODEL; END-USERS; EVENT SPECIFICATION; LOCATION-AWARE; NON-TRIVIAL; QUALITATIVE EVALUATIONS; SENSOR DATA; SPACE AND TIME; SPECIFICATION AND VERIFICATION; TEST LOCATION; VISUAL LANGUAGE;

COMPUTER PROGRAMMING; OFFICE BUILDINGS; RADIO FREQUENCY IDENTIFICATION (RFID); SENSORS; SERVICE ORIENTED ARCHITECTURE (SOA); SPECIFICATIONS; VERIFICATION; VISUALIZATION;

QUALITY CONTROL;

EID: 77953521870     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-12654-3_4     Document Type: Conference Paper

References (40)

1. Amelior ORTracker: Orchestrate Patient Flow (2009), http://www.pcts.com/ unified/ortracker.php
2. Assad, M., et al.: PersonisAD: Distributed, Active, Scrutable Model Framework for Context-Aware Services. In: LaMarca, A., Langheinrich, M., Truong, K.N. (eds.) Pervasive 2007. LNCS, vol. 4480, pp. 55-72. Springer, Heidelberg (2007)
3. Bardram, J.E.: The Java Context Awareness Framework (JCAF) - A service infrastructure and programming framework for context-aware applications. In: Gellersen, H.-W., Want, R., Schmidt, A. (eds.) PERVASIVE 2005. LNCS, vol. 3468, pp. 98-115. Springer, Heidelberg (2005)
4. Bellotti, V., Edwards, K.: Intelligibility and Accountability: Human Considerations in Context Aware Systems. HCI 16, 193-212 (2001) (Pubitemid 34216585)
5. Chen, J., Weld, D.S.: Recovering from Errors During Programming by Demonstration. In: IUI 2008, pp. 159-168 (2008)
6. Cheverst, K., et al.: Exploring Issues of User Model Transparency and Proactive Behaviour in an Office Environment Control System. User Modeling and User-Adapted Interaction 15(3-4), 235-273 (2005) (Pubitemid 41701858)
7. Dey, A., Newberger, A.: Support for Context-Aware Intelligibility and Control. In: CHI 2009, pp. 859-868 (2009)
8. Dey, A.K., et al.: A CAPpella: Programming by Demonstration of Context-Aware Applications. In: CHI 2004, vol. 1, pp. 33-40 (2004)
9. Fails, J., Olsen, D.: A Design Tool for Camera-Based Interaction. In: CHI 2003, pp. 449-456 (2003)
10. Garofalakis, M.N., et al.: Probabilistic Data Management for Pervasive Computing: The Data Furnace Project. IEEE Data Eng. Bull. 29(1), 57-63 (2006)
11. Google Maps API - Google Code, http://code.google.com/apis/maps/
12. Google Web Toolkit - Google Code (2009), http://code.google.com/ webtoolkit/
13. Hartmann, B., et al.: Authoring Sensor-Based Interactions by Demonstration with Direct Manipulation and Pattern Recognition. In: CHI 2007, pp. 145-154 (2007) (Pubitemid 47581594)
14. Heer, J., et al.: Liquid: Context-Aware Distributed Queries. In: Dey, A.K., Schmidt, A., McCarthy, J.F. (eds.) UbiComp 2003. LNCS, vol. 2864, pp. 140-148. Springer, Heidelberg (2003)
15. Real-time locating systems 2009-2019 (2009), http://www.idtechex.com/ research/reports/
16. Knoll, S., et al.: Viewing Personal Data Over Time. In: CHI 2009 Workshop on Interacting with Temporal Data (April 2009)
17. Lamming, M., Bohm, D.: SPECs: Another Approach to Human Context and Activity Sensing Research, Using Tiny Peer-to-Peer Wireless Computers. In: Dey, A.K., Schmidt, A., McCarthy, J.F. (eds.) UbiComp 2003. LNCS, vol. 2864, pp. 192-199. Springer, Heidelberg (2003)
18. Lau, T., et al.: Why PBD Systems Fail: Lessons Learned for Usable AI. In: CHI 2008 (2008)
19. Letchner, J., et al.: Challenges for Event Queries over Markovian Streams. IEEE Internet Computing 12(6), 30-36 (2008)
20. Li, Y., et al.: Topiary: A Tool for Prototyping Location-Enhanced Applications. In: UIST 2004, pp. 217-226 (2004) (Pubitemid 40787687)
21. Lim, B., Dey, A.: Assessing Demand for Intelligibility in Context-Aware Applications. In: Ubicomp 2009, pp. 195-204 (2009)
22. Lymberopoulos, D., et al.: A Sensory Grammar for Inferring Behaviors in Sensor Networks. In: IPSN 2006, pp. 251-259 (2006) (Pubitemid 46666975)
23. Maynes-Aminzade, D., et al.: Eyepatch: Prototyping Camera-Based Interaction Through Examples. In: UIST 2007, pp. 33-42 (2007) (Pubitemid 351429334)
24. McCarthy, J.F., Anagnost, T.D.: EVENTMANAGER: Support for the Peripheral Awareness of Events. In: Thomas, P., Gellersen, H.-W. (eds.) HUC 2000. LNCS, vol. 1927, pp. 227-235. Springer, Heidelberg (2000)
25. Olston, C., et al.: Generating Example Data for Dataflow Programs. In: SIGMOD 2009, pp. 245-256 (2009)
26. Pascoe, J.: The Stick-e Note Architecture: Extending the Interface Beyond the User. In: IUI 1997, pp. 261-264 (1997)
27. Philly Hospital Uses RTLS to Track Patient Flow, Care and Training (May 2009), http://www.rfidjournal.com/article/view/4934/1
28. Ré, C., et al.: Event Queries on Correlated Probabilistic Streams. In: SIGMOD 2008, June 2008, pp. 715-728 (2008)
29. RTLS Providers Cite Strong Demand From Hospitals (June 2009), http://www.rfidjournal.com/article/print/4981
30. Salber, D., et al.: The Context Toolkit: Aiding the Development of Context- Enabled Applications. In: CHI 1999, pp. 434-441 (1999)
31. SIMILE Timeline (2009), https://simile.mit.edu/timeline/
32. Sohn, T., Dey, A.: iCAP: An Informal Tool for Interactive Prototyping of Context- Aware Applications. In: CHI 2003, pp. 974-975 (2003)
33. Truong, K.N., et al.: CAMP: A Magnetic Poetry Interface for End-User Programming of Capture Applications for the Home. In: Davies, N., Mynatt, E.D., Siio, I. (eds.) UbiComp 2004. LNCS, vol. 3205, pp. 143-160. Springer, Heidelberg (2004)
34. Vilamovska, A., et al.: Study on the requirements and options for RFID application in healthcare. Technical report, RAND Corporation (July 2009)
35. Want, R., et al.: An Overview of the PARCTAB Ubiquitous Computing Experiment. IEEE Personal Communications 2(6), 28-33 (1995)
36. Welbourne, E., et al.: Challenges for Pervasive RFID-based Infrastructures. In: PERTEC 2007, March 2007, pp. 388-394 (2007)
37. Welbourne, E., et al.: Cascadia: A System for Specifying, Detecting, and Managing RFID Events. In: MobiSys 2008, June 2008, pp. 281-294 (2008)
38. Welbourne, E., et al.: Building the Internet of Things Using RFID: The RFID Ecosystem Experience. IEEE Internet Computing (May 2009)
39. Welbourne, E., et al.: Longitudinal Study of a Building-Scale RFID Ecosystem. In: MobiSys 2009 (June 2009)
40. Whitehouse, K., et al.: Automatic Programming with Semantic Streams. In: SenSys 2005, November 2005, pp. 290-291 (2005)