2698 search results - page 92 / 540 » Software Process Model Blueprints |
119
click to vote
WOSP
2004
ACM
15 years 7 months ago
2004
ACM
Modelling and analysing distributed and mobile software systems is a challenging task. PEPA nets—coloured stochastic Petri nets—are a recently introduced modelling formalism w...
104
click to vote
HOTSWUP
2009
ACM
15 years 6 months ago
2009
ACM
Year after year, the frequency of updated releases of software continues to increase. Without an automated install process, the result is either that a system installs software wi...
114
Voted
TAICPART
2006
IEEE
15 years 8 months ago
2006
IEEE
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. With the proliferation of multicore arch...
110
Voted
ICEBE
2006
IEEE
15 years 8 months ago
2006
IEEE
The alignment of business processes and their supporting application software is a major concern during the initial software design phases. This paper proposes a design approach a...
112
Voted
CMG
2006
15 years 3 months ago
2006
Modern computer systems are based on a wide variety of software servers, such as web servers, application servers, database servers, and mail servers. The typical software archite...