7 search results - page 1 / 2 » snpd 2004 |
SNPD
2004
13 years 6 months ago
2004
SNPD
2004
13 years 6 months ago
2004
A typical problem formal verification faces is the size of the model of a system being verified. Even for a small system, the state space of the model tends to grow exponentially (...
SNPD
2004
13 years 6 months ago
2004
We proposed a new approach to compare profiles when the correlations among attributes can be represented as a tree. To account for these correlations, the profile is extended with...
SNPD
2004
13 years 6 months ago
2004
The problem of testing programs without test oracles is well known. A commonly used approach is to use special values in testing but this is often insufficient to ensure program c...
SNPD
2004
13 years 6 months ago
2004
Spam is a major problem facing email today, and current solutions are ineffective. This paper presents our progress towards defining and implementing a payment-based email deliver...