Specification and Verification of Complex Location Events with Panoramic.

Evan Welbourne Magdalena Balazinska Gaetano Borriello James Fogarty

Published in: Pervasive (2010)

Keyphrases

temporal ordering
event detection
formal verification
high level
complex data
complex systems
asynchronous circuits
data sets
formal methods
event sequences
complex events
real world
mobile devices
spatio temporal
temporal information
computer vision
temporal relationships