Ambient intelligence plays a crucial role in healthcare situations. It provides a certain way to
deal with emergencies to provide the essential resources such as nearest hospitals and …

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 the last decade, smart computing has garnered much attention, particularly in ubiquitous
environments, thus increasing the ease of everyday human life. Users can dynamically …

For readers from both academia and industry wishing to pursue their studies and/or careers
in planetary robotics, this book represents a one-stop tour of the history, evolution, key …

DR-BIP is an extension of the BIP component framework intended for programming
reconfigurable systems encompassing various aspects of dynamism. It relies on …

This paper presents a Hoare-style calculus for formal reasoning about reconfiguration
programs of distributed systems. Such programs create and delete components and/or …

Verification of component-based systems still suffers from limitations such as state space
explosion since a large number of different components may interact in a heterogeneous …

We consider a logic used to describe sets of configurations of distributed systems, whose
network topologies can be changed at runtime, by reconfiguration programs. The logic uses …

Dynamic reconfiguration allows adding or removing components of component-based
systems without incurring any system downtime. To satisfy specific requirements, adaptation …

Dynamic software architectures emerge when addressing important features of
contemporary systems, which often operate in dynamic environments subjected to change …