243 search results - page 16 / 49 » Error Detection Using Dynamic Dataflow Verification |
BPM
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. Many work has been conducted to analyze service choreographies to assert manyfold correctness criteria. While errors can be detected automatically, the correction of defe...
CVPR
2000
IEEE
14 years 1 months ago
2000
IEEE
Background modeling is a common component in video surveillance systems and is used to quickly identify regions of interest. To increase the robustness of background subtraction t...
POPL
2004
ACM
14 years 9 months ago
2004
ACM
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. Much previous work has focused on det...
SRDS
2000
IEEE
14 years 1 months ago
2000
IEEE
As has been shown, the polygon time structure overcomes the main limitations of the interval time structure, and allows to verify communication protocols, in which the explicit co...
TAP
2007
Springer
14 years 2 months ago
2007
Springer
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...