1433 search results - page 21 / 287 » An approach to detecting failures automatically |
WETICE
1999
IEEE
14 years 1 months ago
1999
IEEE
The rapid growth of the Web has made it possible to build collaborative applications on an unprecedented scale. However, the request-reply interaction model of HTTP limits the rang...
CSCW
2000
ACM
13 years 9 months ago
2000
ACM
This paper describes a novel knowledge-based approach for helping workflow process designers and participants better manage the exceptions (deviations from an ideal collaborative ...
ICPR
2010
IEEE
13 years 8 months ago
2010
IEEE
We propose an information fusion approach to tracking objects from different viewpoints that can detect and recover from tracking failures. We introduce a reliability measure that...
IWSSD
2000
IEEE
14 years 2 months ago
2000
IEEE
Most software that most people use most of the time needs only moderate assurance of fitness for its intended purpose. Unlike high-assurance software, where the severe consequence...
JAR
2008
13 years 9 months ago
2008
We introduce a specification language, Promela-Lite, which captures the essential features of Promela but which, unlike Promela, has a formally defined semantics. We show how we ca...