Software aging is a phenomenon plaguing many long-running complex software systems,
which exhibit performance degradation or an increasing failure rate. Several strategies …

While human beings enter in high spirits the era of network-based digital economy and
enjoy to their hearts' content the wonderful material and cultural life delivered by science …

Abstract Model checking approaches to the analysis of security protocols have proved
remarkably successful. The basic approach is to produce a model of a small system running …

Performance of a software system is the result of many interacting factors. This paper
describes a rule-based framework to identify root causes of performance limits, to untangle …

CONTEXT: Simulation-based studies have been used in different research areas in order to
conduct computerized experiments with distinct purposes. However, it seems that Software …

A key goal of performance testing is the detection of performance degradations (ie,
regressions) compared to previous releases. Prior research has proposed the automation of …

We present three algorithms for detecting the need for software rejuvenation by monitoring
the changing values of a customer-affecting performance metric, such as response time …

Abstract Context: Software Performance Antipatterns (SPAs) research has focused on
algorithms for their characterization, detection, and solution. Existing algorithms are based …

Context. Software Performance Antipatterns (SPAs) research has focused on algorithms for
the characterization, detection, and solution of antipatterns. However, existing algorithms are …

Increasingly, service-based applications (SBAs) are composed of third-party services
available over the Internet. Even if third-party services have shown to work during design …