6413 search results - page 295 / 1283 » Classes of cycle bases |
180
click to vote
SAS
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper addresses the problem of checking programs written in an object-oriented language to ensure that they satisfy the information flow policies, confidentiality ...
192
click to vote
APSEC
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes an automated approach to generating test cases for an object-oriented class. The approach is derived from state-based testing methods and refers to a state ma...
155
click to vote
IH
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. In this paper we present a new efficient watermarking scheme for images. The basic idea of our method is to alter the colors of the given image in a suitable but imperce...
149
click to vote
ICSE
1998
IEEE-ACM
15 years 11 months ago
1998
IEEE-ACM
Continuous availability is a critical requirement for an important class of software systems. For these systems, runtime system evolution can mitigate the costs and risks associat...
147
click to vote
DDECS
2008
IEEE
15 years 8 months ago
2008
IEEE
Defects not described by conventional fault models are a challenge for state-of-the-art fault diagnosis techniques. The X-fault model has been introduced recently as a modeling te...