Distributed software built from components has become a mainstay of service-oriented
applications, which frequently undergo reconfigurations to adapt to changes in their …

Key frame extraction has been recognized as one of the important research issues in video
information retrieval. Although progress has been made in key frame extraction, the existing …

Over the past decade the dynamic capabilities of self-adaptive software-intensive systems
have proliferated and improved significantly. To advance the field of self-adaptive and self …

Software validation and verification (V&V) ensures that software products satisfy user
requirements and meet their expected quality attributes throughout their lifecycle. While high …

As the complexity of software increases, the choice of the appropriate software architecture
becomes a critical task. This paper provides a guideline for selecting the appropriate …

In this paper, we propose a reconfiguration protocol that can handle any number of failures
during a reconfiguration, always producing an architecturally-consistent assembly of …

Dynamic reconfigurations increase the availability and the reliability of component-based
systems by allowing their architectures to evolve at run-time. This paper deals with the …

This paper deals with the formal specification and verification of dynamic reconfigurations of
component-based systems. To validate such complex systems, there is a need to check …

The importance of modelling the dynamic characteristics of the architecture of software
systems has long been recognised. However, the nature of the dynamics of service-oriented …

A major challenge of dynamic reconfiguration is Quality of Service (QoS) assurance, which
is meant to reduce application disruption to the minimum for the system's transformation …