4029 search results - page 632 / 806 » Experience with Software Watermarking |
140
click to vote
GG
2004
Springer
15 years 11 months ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
138
click to vote
HIPC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The Cosmic Microwave Background (CMB) is a snapshot of the Universe some 400,000 years after the Big Bang. The pattern of anisotropies in the CMB carries a wealth of info...
150
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
147
click to vote
ICFEM
2004
Springer
15 years 11 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
140
click to vote
IFIP
2004
Springer
15 years 11 months ago
2004
Springer
Most of all software systems have to be changed after their initial deployment. This is not only because of changing knowledge and expectations about our domains and systems, but a...