780 search results - page 14 / 156 » Correctness of Component-Based Adaptation |
184
click to vote
IH
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Hard decisions constitute the major problem in digital watermarking applications, especially when content adaptive embedding methods are used. Soft-decision decoding, on ...
ALT
2009
Springer
15 years 11 months ago
2009
Springer
We present a family of adaptive pairwise tournaments that are provably robust against large error fractions when used to determine the largest element in a set. The tournaments use...
132
click to vote
AOSD
2005
ACM
15 years 7 months ago
2005
ACM
In this paper we propose an extension to JAsCo for supporting Adaptive Programming in a Component-Based Software Development context. JAsCo is an aspect-oriented programming langu...
102
Voted
ICSE
2010
IEEE-ACM
15 years 6 months ago
2010
IEEE-ACM
We present a Tool Suite which supports the (re-)construction of a behavioral model of a legacy component based on a learning approach by exploiting knowledge of known models of th...
126
Voted
ISSE
2010
14 years 8 months ago
2010
In this work, we address the formalisation of symmetric nets, a subclass of coloured Petri nets, refinement in COQ. We first provide a formalisation of the net models, and of thei...