887 search results - page 97 / 178 » A pattern-based approach to model software performance |
131
Voted
ASE
2008
15 years 3 months 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...
135
Voted
VIROLOGY
2008
15 years 3 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 ...
166
Voted
ESEC
1997
Springer
15 years 8 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....
148
Voted
SPIN
2010
Springer
15 years 1 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...
114
Voted
WWW
2008
ACM
16 years 4 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 ...