80 search results - page 16 / 16 » Robust safety of timed automata |
GLOBECOM
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract--Regular expression (Regex) becomes the standard signature language for security and application detection. Deterministic finite automata (DFAs) are widely used to perform...
TMC
2012
11 years 7 months ago
2012
—This work addresses the fundamental problem of distinguishing between a driver and passenger using a mobile phone, which is the critical input to enable numerous safety and inte...
ISMAR
2009
IEEE
14 years 2 days ago
2009
IEEE
This paper presents a method to create an illusion of seeing moving objects through occluding surfaces in a video. This illusion is achieved by transferring information from a cam...
MOBICOM
2004
ACM
13 years 11 months ago
2004
ACM
One key usage of VANET is to support vehicle safety applications. This use case is characterized by the prominence of broadcasts in scaled settings. In this context, we try to ans...
ICDCS
2012
IEEE
11 years 7 months ago
2012
IEEE
—Virtual coordinate systems (VCS) provide accurate estimations of latency between arbitrary hosts on a network, while conducting a small amount of actual measurements and relying...