2025 search results - page 256 / 405 » Software performance modelling using PEPA nets |
162
click to vote
ESEC
1997
Springer
15 years 7 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....
147
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...
107
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 ...
105
Voted
MIDDLEWARE
2004
Springer
15 years 8 months ago
2004
Springer
Reuse is an important topic in software engineering as it promises advantages like faster time-to-market and cost reduction. Reuse s on an abstract level is more beneficial than o...
129
click to vote
WORM
2003
15 years 4 months ago
2003
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...