7393 search results - page 487 / 1479 » Synthesis-for-testability using transformations |
147
click to vote
ACSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
A common way to elude a signature-based NIDS is to transform an attack instance that the NIDS recognizes into another instance that it misses. For example, to avoid matching the a...
154
click to vote
ACL
2008
15 years 8 months ago
2008
This paper studies textual inference by investigating comma structures, which are highly frequent elements whose major role in the extraction of semantic relations has not been hi...
184
click to vote
VCIP
2001
15 years 7 months ago
2001
Lossless video coding is useful in applications where no loss of information or visual quality is tolerable. In embedded to lossless coding an encoded video stream can be decoded ...
195
Voted
IEICET
2007
15 years 6 months ago
2007
The completeness (i.e. confluent and terminating) property is an important concept when using a term rewriting system (TRS) as a computational model of functional programming lang...
170
click to vote
SOCO
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The use of XML as a format for message exchange makes Web services well suited for composition of heterogeneous components. However, since clients must manage differences...