40 search results - page 4 / 8 » Model-Based Run-Time Error Detection |
DEXA
2004
Springer
14 years 1 months ago
2004
Springer
Data cleaning deals with the detection and removal of errors and inconsistencies in data, gathered from distributed sources. This process is essential for drawing correct conclusio...
CP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
EMSOFT
2005
Springer
14 years 2 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...
DSN
2003
IEEE
14 years 1 months ago
2003
IEEE
The DepAuDE architecture provides middleware to integrate fault tolerance support into distributed embedded automation applications. It allows error recovery to be expressed in te...
JIB
2007
13 years 8 months ago
2007
2D-Nuclear magnetic resonance (NMR) spectra are used in the (structural) analysis of small molecules. In contrast to 1D-NMR spectra, 2D-NMR spectra correlate the chemical shifts o...