6014 search results - page 695 / 1203 » Structural Testing with Use Cases |
184
click to vote
FOCS
1998
IEEE
15 years 11 months ago
1998
IEEE
The properties of any system of k simultaneous equations in n variables over GF(q), are studied, with a particular emphasis on unsatisfiable systems. A general formula for the num...
152
click to vote
ISW
1999
Springer
15 years 11 months ago
1999
Springer
There is a spate of research activities investigating digital image watermarking schemes in an effort to control the problem of illegal proliferation of creative digital data acros...
212
click to vote
VISUALIZATION
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes some fundamental issues for robust implementations of progressively refined tetrahedralizations generated through sequences of edge collapses. We address the ...
246
click to vote
CAV
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
203
click to vote
ACSC
2004
IEEE
15 years 11 months ago
2004
IEEE
Types are fundamental for enforcing levels of abstraction in modern high-level programming languages and their lower-level representations. However, some type-related features suc...