{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,22]],"date-time":"2026-03-22T14:32:48Z","timestamp":1774189968650,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642126536","type":"print"},{"value":"9783642126543","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12654-3_4","type":"book-chapter","created":{"date-parts":[[2010,4,22]],"date-time":"2010-04-22T04:48:14Z","timestamp":1271911694000},"page":"57-75","source":"Crossref","is-referenced-by-count":10,"title":["Specification and Verification of Complex Location Events with Panoramic"],"prefix":"10.1007","author":[{"given":"Evan","family":"Welbourne","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Magdalena","family":"Balazinska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gaetano","family":"Borriello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Fogarty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","unstructured":"Amelior ORTracker: Orchestrate Patient Flow (2009), http:\/\/www.pcts.com\/unified\/ortracker.php"},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-540-72037-9_4","volume-title":"Pervasive Computing","author":"M. Assad","year":"2007","unstructured":"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.\u00a04480, pp. 55\u201372. Springer, Heidelberg (2007)"},{"key":"4_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/11428572_7","volume-title":"Pervasive Computing","author":"J.E. Bardram","year":"2005","unstructured":"Bardram, J.E.: The Java Context Awareness Framework (JCAF) \u2013 A service infrastructure and programming framework for context-aware applications. In: Gellersen, H.-W., Want, R., Schmidt, A. (eds.) PERVASIVE 2005. LNCS, vol.\u00a03468, pp. 98\u2013115. Springer, Heidelberg (2005)"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1207\/S15327051HCI16234_05","volume":"16","author":"V. Bellotti","year":"2001","unstructured":"Bellotti, V., Edwards, K.: Intelligibility and Accountability: Human Considerations in Context Aware Systems. HCI\u00a016, 193\u2013212 (2001)","journal-title":"HCI"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Chen, J., Weld, D.S.: Recovering from Errors During Programming by Demonstration. In: IUI 2008, pp. 159\u2013168 (2008)","DOI":"10.1145\/1378773.1378794"},{"issue":"3-4","key":"4_CR6","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/s11257-005-1269-8","volume":"15","author":"K. Cheverst","year":"2005","unstructured":"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\u00a015(3-4), 235\u2013273 (2005)","journal-title":"User Modeling and User-Adapted Interaction"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Dey, A., Newberger, A.: Support for Context-Aware Intelligibility and Control. In: CHI 2009, pp. 859\u2013868 (2009)","DOI":"10.1145\/1518701.1518832"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Dey, A.K., et al.: A CAPpella: Programming by Demonstration of Context-Aware Applications. In: CHI 2004, vol.\u00a01, pp. 33\u201340 (2004)","DOI":"10.1145\/985692.985697"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Fails, J., Olsen, D.: A Design Tool for Camera-Based Interaction. In: CHI 2003, pp. 449\u2013456 (2003)","DOI":"10.1145\/642611.642690"},{"issue":"1","key":"4_CR10","first-page":"57","volume":"29","author":"M.N. Garofalakis","year":"2006","unstructured":"Garofalakis, M.N., et al.: Probabilistic Data Management for Pervasive Computing: The Data Furnace Project. IEEE Data Eng. Bull.\u00a029(1), 57\u201363 (2006)","journal-title":"IEEE Data Eng. Bull."},{"key":"4_CR11","unstructured":"Google Maps API - Google Code, http:\/\/code.google.com\/apis\/maps\/"},{"key":"4_CR12","unstructured":"Google Web Toolkit - Google Code (2009), http:\/\/code.google.com\/webtoolkit\/"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Hartmann, B., et al.: Authoring Sensor-Based Interactions by Demonstration with Direct Manipulation and Pattern Recognition. In: CHI 2007, pp. 145\u2013154 (2007)","DOI":"10.1145\/1240624.1240646"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1007\/978-3-540-39653-6_11","volume-title":"UbiComp 2003: Ubiquitous Computing","author":"J. Heer","year":"2003","unstructured":"Heer, J., et al.: Liquid: Context-Aware Distributed Queries. In: Dey, A.K., Schmidt, A., McCarthy, J.F. (eds.) UbiComp 2003. LNCS, vol.\u00a02864, pp. 140\u2013148. Springer, Heidelberg (2003)"},{"key":"4_CR15","unstructured":"Real-time locating systems 2009-2019 (2009), http:\/\/www.idtechex.com\/research\/reports\/"},{"key":"4_CR16","unstructured":"Knoll, S., et al.: Viewing Personal Data Over Time. In: CHI 2009 Workshop on Interacting with Temporal Data (April 2009)"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/978-3-540-39653-6_15","volume-title":"UbiComp 2003: Ubiquitous Computing","author":"M. Lamming","year":"2003","unstructured":"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.\u00a02864, pp. 192\u2013199. Springer, Heidelberg (2003)"},{"key":"4_CR18","unstructured":"Lau, T., et al.: Why PBD Systems Fail: Lessons Learned for Usable AI. In: CHI 2008 (2008)"},{"issue":"6","key":"4_CR19","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/MIC.2008.118","volume":"12","author":"J. Letchner","year":"2008","unstructured":"Letchner, J., et al.: Challenges for Event Queries over Markovian Streams. IEEE Internet Computing\u00a012(6), 30\u201336 (2008)","journal-title":"IEEE Internet Computing"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Li, Y., et al.: Topiary: A Tool for Prototyping Location-Enhanced Applications. In: UIST 2004, pp. 217\u2013226 (2004)","DOI":"10.1145\/1029632.1029671"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Lim, B., Dey, A.: Assessing Demand for Intelligibility in Context-Aware Applications. In: Ubicomp 2009, pp. 195\u2013204 (2009)","DOI":"10.1145\/1620545.1620576"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Lymberopoulos, D., et al.: A Sensory Grammar for Inferring Behaviors in Sensor Networks. In: IPSN 2006, pp. 251\u2013259 (2006)","DOI":"10.1145\/1127777.1127817"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Maynes-Aminzade, D., et al.: Eyepatch: Prototyping Camera-Based Interaction Through Examples. In: UIST 2007, pp. 33\u201342 (2007)","DOI":"10.1145\/1294211.1294219"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/3-540-39959-3_17","volume-title":"Handheld and Ubiquitous Computing","author":"J.F. McCarthy","year":"2000","unstructured":"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.\u00a01927, pp. 227\u2013235. Springer, Heidelberg (2000)"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Olston, C., et al.: Generating Example Data for Dataflow Programs. In: SIGMOD 2009, pp. 245\u2013256 (2009)","DOI":"10.1145\/1559845.1559873"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Pascoe, J.: The Stick-e Note Architecture: Extending the Interface Beyond the User. In: IUI 1997, pp. 261\u2013264 (1997)","DOI":"10.1145\/238218.238344"},{"key":"4_CR27","unstructured":"Philly Hospital Uses RTLS to Track Patient Flow, Care and Training (May 2009), http:\/\/www.rfidjournal.com\/article\/view\/4934\/1"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"R\u00e9, C., et al.: Event Queries on Correlated Probabilistic Streams. In: SIGMOD 2008, June 2008, pp. 715\u2013728 (2008)","DOI":"10.1145\/1376616.1376688"},{"key":"4_CR29","unstructured":"RTLS Providers Cite Strong Demand From Hospitals (June 2009), http:\/\/www.rfidjournal.com\/article\/print\/4981"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Salber, D., et al.: The Context Toolkit: Aiding the Development of Context-Enabled Applications. In: CHI 1999, pp. 434\u2013441 (1999)","DOI":"10.1145\/302979.303126"},{"key":"4_CR31","unstructured":"SIMILE Timeline (2009), https:\/\/simile.mit.edu\/timeline\/"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Sohn, T., Dey, A.: iCAP: An Informal Tool for Interactive Prototyping of Context-Aware Applications. In: CHI 2003, pp. 974\u2013975 (2003)","DOI":"10.1145\/766098.766102"},{"key":"4_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1007\/978-3-540-30119-6_9","volume-title":"UbiComp 2004: Ubiquitous Computing","author":"K.N. Truong","year":"2004","unstructured":"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.\u00a03205, pp. 143\u2013160. Springer, Heidelberg (2004)"},{"key":"4_CR34","unstructured":"Vilamovska, A., et al.: Study on the requirements and options for RFID application in healthcare. Technical report, RAND Corporation (July 2009)"},{"issue":"6","key":"4_CR35","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/98.475986","volume":"2","author":"R. Want","year":"1995","unstructured":"Want, R., et al.: An Overview of the PARCTAB Ubiquitous Computing Experiment. IEEE Personal Communications\u00a02(6), 28\u201333 (1995)","journal-title":"IEEE Personal Communications"},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"Welbourne, E., et al.: Challenges for Pervasive RFID-based Infrastructures. In: PERTEC 2007, March 2007, pp. 388\u2013394 (2007)","DOI":"10.1109\/PERCOMW.2007.26"},{"key":"4_CR37","doi-asserted-by":"crossref","unstructured":"Welbourne, E., et al.: Cascadia: A System for Specifying, Detecting, and Managing RFID Events. In: MobiSys 2008, June 2008, pp. 281\u2013294 (2008)","DOI":"10.1145\/1378600.1378631"},{"key":"4_CR38","doi-asserted-by":"crossref","unstructured":"Welbourne, E., et al.: Building the Internet of Things Using RFID: The RFID Ecosystem Experience. IEEE Internet Computing (May 2009)","DOI":"10.1109\/MIC.2009.52"},{"key":"4_CR39","doi-asserted-by":"crossref","unstructured":"Welbourne, E., et al.: Longitudinal Study of a Building-Scale RFID Ecosystem. In: MobiSys 2009 (June 2009)","DOI":"10.1145\/1555816.1555824"},{"key":"4_CR40","doi-asserted-by":"crossref","unstructured":"Whitehouse, K., et al.: Automatic Programming with Semantic Streams. In: SenSys 2005, November 2005, pp. 290\u2013291 (2005)","DOI":"10.1145\/1098918.1098959"}],"container-title":["Lecture Notes in Computer Science","Pervasive Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12654-3_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T21:38:30Z","timestamp":1685569110000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12654-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642126536","9783642126543"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12654-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}