5525 search results - page 1002 / 1105 » Verification of Model Transformations |
78
Voted
IEEEMSP
2002
IEEE
15 years 5 months ago
2002
IEEE
We present a blind data hiding method for JPEG compressedimageswhichminimizesthe perceptualdistortion due to data embedding.The proposed systempresentsa number of op. tions to the ...
116
click to vote
NOMS
2002
IEEE
15 years 5 months 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...
103
Voted
PDP
2002
IEEE
15 years 5 months ago
2002
IEEE
The concept of unreliable failure detector was introduced by Chandra and Toueg as a mechanism that provides information about process failures. This mechanism has been used to sol...
82
Voted
GECCO
2010
Springer
15 years 5 months ago
2010
Springer
Gas chemical sensors are strongly affected by the so-called drift, i.e., changes in sensors’ response caused by poisoning and aging that may significantly spoil the measures g...
106
click to vote
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
Universal Coalgebra provides the notion of a coalgebra as the natural mathematical generalization of state-based evolving systems such as (infinite) words, trees, and transition s...