887 search results - page 97 / 178 » A pattern-based approach to model software performance |
101
click to vote
ASE
2008
15 years 22 days ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
112
Voted
VIROLOGY
2008
15 years 14 days 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 ...
134
click to vote
ESEC
1997
Springer
15 years 4 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....
123
Voted
SPIN
2010
Springer
14 years 10 months ago
2010
Springer
We accelerate state space exploration for explicit-state model checking by executing complex operations on the graphics processing unit (GPU). In contrast to existing approaches en...
85
Voted
WWW
2008
ACM
16 years 1 months ago
2008
ACM
Mashup applications mix and merge content (data and code) from multiple content providers in a user's browser, to provide high-value web applications that can rival the user ...