7393 search results - page 1263 / 1479 » Synthesis-for-testability using transformations |
121
Voted
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. We propose a framework for model-based diagnosis of systems with mobility and variable topologies, modelled as graph transformation systems. Generally speaking, model-bas...
118
Voted
CONCUR
2008
Springer
15 years 5 months ago
2008
Springer
The concept of invariance for Parameterised Boolean Equation Systems (PBESs) is studied in greater detail. We identify an issue with the associated theory and fix this problem by p...
116
Voted
CP
2008
Springer
15 years 5 months ago
2008
Springer
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear equations both wi...
131
Voted
CRV
2008
IEEE
15 years 5 months ago
2008
IEEE
The recent digital revolution has facilitated communication, data portability and on-the-fly manipulation. Unfortunately, this has brought along some critical security vulnerabili...
143
Voted
ESA
2008
Springer
15 years 5 months ago
2008
Springer
Metric Labeling problems have been introduced as a model for understanding noisy data with pair-wise relations between the data points. One application of labeling problems with pa...