907 search results - page 116 / 182 » Monitoring of Real-Time Properties |
INFOCOM
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract—We study the problem of contour tracking with binary sensors, an important problem for monitoring spatial signals and tracking group targets. In particular, we track the...
COORDINATION
2006
Springer
13 years 12 months ago
2006
Springer
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
ECCV
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. There is considerable interest in techniques capable of identifying anomalies and unusual events in busy outdoor scenes, e.g. road junctions. Many approaches achieve this...
TMA
2010
Springer
14 years 3 months ago
2010
Springer
In this work we discuss the use of passive measurements of TCP performance indicators in support of network operation and troubleshooting, presenting a case-study from a real 3G ce...
WSDM
2009
ACM
14 years 3 months ago
2009
ACM
Readability is a crucial presentation attribute that web summarization algorithms consider while generating a querybaised web summary. Readability quality also forms an important ...