1210 search results - page 149 / 242 » Specifying Precise Use Cases with Use Case Charts |
SPAA
2004
ACM
14 years 2 months ago
2004
ACM
We study the problem of how resilient networks are to node faults. Specifically, we investigate the question of how many faults a network can sustain and still contain a large (i...
IPL
2010
13 years 7 months ago
2010
In numerous modern stream ciphers, the internal state consists of a large array of pseudo-random words, and the output key-stream is a relatively simple function of the state. In ...
VSTTE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Theorem-prover based modular checkers have the potential to perform scalable and precise checking of user-defined properties by combining pathsensitive intraprocedural re...
CSCWD
2001
Springer
14 years 1 months ago
2001
Springer
The authors have developed a new approach to database interoperability using the sketch data model. That technique has now been used in a number of applications, but an important ...
ICIP
2001
IEEE
14 years 10 months ago
2001
IEEE
Change detection using difference picture has been used to detect the location of moving targets and to track them. This method needs the assumption of static camera, and the glob...