7820 search results - page 1295 / 1564 » Formalization of Time and Space |
172
click to vote
PG
2003
IEEE
15 years 12 months ago
2003
IEEE
We present a new approach to isosurface visualization that we call “iso-splatting.” We use point primitives for representing and rendering isosurfaces. The method consists of ...
177
click to vote
QSIC
2003
IEEE
15 years 12 months ago
2003
IEEE
In this paper, we consider a problem that arises in black box testing: generating small test suites (i.e., sets of test cases) where the combinations that have to be covered are s...
182
click to vote
RSP
2003
IEEE
15 years 12 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
165
click to vote
SAINT
2003
IEEE
15 years 12 months ago
2003
IEEE
The problem of identifying patterns from system call trails of UNIX processes to better model application behavior has been investigated intensively. Most existing approaches focu...
200
click to vote
SRDS
2003
IEEE
15 years 12 months ago
2003
IEEE
We consider the problem of increasing the availability of shared data in peer-to-peer (P2P) systems so that users can access any content, regardless of the current subset of onlin...