In this paper, we propose an “end-to-end” approach that supports dynamic reconfiguration of
software architectures taking advantage of graphical modeling, formal methods and aspect …

This paper proposes a compositional formal approach to design correct publish/subscribe
architecture styles. We provide a set of patterns and the corresponding composition rules to …

The architecture of distributed systems is subject to certain failures: component failure,
downed connections etc. These failures come from the dynamicity and complexity of these …

Les travaux de recherche menés dans le domaine des systemes distribués couvrent une
gamme étendue d'applications. L'architecture de tels systemes est sujet d'un ensemble de …

One of the current challenges in multimedia systems is to ensure efficient data transmission
between the server and clients. These systems must guarantee to the users a certain quality …