6941 search results - page 779 / 1389 » Testing as a Certification Approach |
190
click to vote
CAV
2004
Springer
16 years 19 days ago
2004
Springer
Bounded Model Checking, although complete in theory, has been thus far limited in practice to falsification of properties that were not invariants. In this paper we propose a term...
150
click to vote
CMMR
2004
Springer
16 years 19 days ago
2004
Springer
In this paper we present an enhancement of edit distance based music performance annotation. The annotation captures musical expressivity not only in terms of timing deviations but...
176
click to vote
COLT
2004
Springer
16 years 19 days ago
2004
Springer
We consider the problem of labeling a partially labeled graph. This setting may arise in a number of situations from survey sampling to information retrieval to pattern recognition...
163
click to vote
ESOP
2004
Springer
16 years 18 days ago
2004
Springer
Pattern matching is an important operation in functional programs. So far, pattern matching has been investigated in the context of structured terms. This paper presents an approac...
164
click to vote
ESORICS
2004
Springer
16 years 18 days ago
2004
Springer
Abstract. The recent approach of a model-based framework for steganography fruitfully contributes to the discussion on the security of steganography. In addition, the first propos...