Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Specification and Verification of Complex Location Events with Panoramic
 

Summary: Specification and Verification of Complex
Location Events with Panoramic
Evan Welbourne, Magdalena Balazinska, Gaetano Borriello, and James Fogarty
Computer Science & Engineering
University of Washington
Seattle, WA 98195 USA
{evan, magda, gaetano, jfogarty}@cs.washington.edu
Abstract. We present the design and evaluation of Panoramic, a tool
that enables end-users to specify and verify an important family of com-
plex location events. Our approach aims to reduce or eliminate criti-
cal barriers to deployment of emerging location-aware business activity
monitoring applications in domains like hospitals and office buildings.
Panoramic does not require users to write code, understand complex
models, perform elaborate demonstrations, generate test location traces,
or blindly trust deterministic events. Instead, it allows end-users to spec-
ify and edit complex events with a visual language that embodies natural
concepts of space and time. It also takes a novel approach to verifica-
tion, in which events are extracted from historical sensor data traces
and then presented with intelligible, hierarchical visualizations that rep-
resent uncertainty with probabilities. We build on our existing software

  

Source: Anderson, Richard - Department of Computer Science and Engineering, University of Washington at Seattle
Balazinska, Magdalena - Department of Computer Science and Engineering, University of Washington at Seattle

 

Collections: Computer Technologies and Information Sciences