3579 search results - page 346 / 716 » Transformations of software models into performance models |
182
click to vote
VIROLOGY
2008
15 years 6 months ago
2008
We present a novel classification of computer viruses using a formalised notion of reproductive models based on Gibson's theory of affordances. A computer virus reproduction ...
172
click to vote
ICFEM
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
215
click to vote
ESEC
1997
Springer
15 years 10 months ago
1997
Springer
Fifteen teams recently used the WinWin Spiral Model to perform the system engineering and architecting of a set of multimedia applications for the USC Library Information Systems....
191
click to vote
NSDI
2004
15 years 8 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
196
click to vote
ENVSOFT
2006
15 years 6 months ago
2006
Knowledge of land surface water, energy, and carbon conditions are of critical importance due to their impact on many real world applications such as agricultural production, wate...