4029 search results - page 469 / 806 » Experience with Software Watermarking |
191
click to vote
FASE
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...
177
click to vote
FATES
2005
Springer
16 years 8 days ago
2005
Springer
The global testing problem studied in this paper is to seek a definite answer to whether a system of concurrent black-boxes has an observable behavior in a given finite (but cou...
173
click to vote
GPCE
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. The past decade of experience has demonstrated that the generic programming methodology is highly effective for the design, implementation, and use of large-scale softwar...
170
click to vote
ICCS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Modeling is considered an inherent part of design, operation and optimization of Water Quality Systems. Models are used for running so-called Virtual Experiments, such as...
185
click to vote
LCTRTS
2005
Springer
16 years 7 days ago
2005
Springer
Dictionary compression mechanisms identify redundant sequences of instructions that occur in a program. The sequences are extracted and copied to a dictionary. Each sequence is th...