7393 search results - page 530 / 1479 » Synthesis-for-testability using transformations |
156
click to vote
SSD
2005
Springer
16 years 17 days ago
2005
Springer
In this paper, we propose a novel approach to address the problem of change detection in time series data. Our approach is based on wavelet footprints proposed originally by the si...
190
click to vote
LOPSTR
2004
Springer
16 years 13 days ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
188
click to vote
OOPSLA
2004
Springer
16 years 13 days ago
2004
Springer
A long-standing goal of software engineering is to construct software that is easily modified and extended. Recent advances in software design techniques, such as aspect-oriented ...
205
click to vote
ADBIS
2003
Springer
16 years 9 days ago
2003
Springer
The Web has become the world’s largest information source. Unfortunately, the main success factor of the Web, the inherent principle of distribution and autonomy of the participa...
223
click to vote
NOMS
2002
IEEE
16 years 4 hour ago
2002
IEEE
We present fault localization techniques suitable for diagnosing end-to-end service problems in communication systems with complex topologies. We refine a layered system model th...