At the present, emotion is considered as a critical point of human behaviour, and thus it
should be embedded within the reasoning module when an intelligent system or a …

Abstract Models are central to engineering. They are used for analysis, synthesis, and
communication between humans. A given artifact or process may have multiple models with …

In this paper, we provide a survey of the different analysis techniques that are provided for
the modeling language Rebeca. Rebeca is designed as an imperative actor-based …

In this paper, we present a formal model, named PobSAM (Policy-based Self-Adaptive
Model), for developing and modeling self-adaptive evolving systems. In this model, policies …

Self-adaptation is a well-known technique to handle growing complexities of software
systems, where a system autonomously adapts itself in response to changes in a dynamic …

PobSAM is a flexible actor-based model with formal foundation for model-based
development of self-adaptive systems. In PobSAM policies are used to control and adapt the …

Empathic buildings are intelligent ones that aim to measure and execute the best user
experience. A smoother and intuitive environment leads to a better mood. The system …

Self-adaptive systems are systems that automatically adapt in response to environmental
and internal changes, such as possible failures and variations in resource availability. Such …

Self-adaptive systems continuously adapt to internal and external changes in their execution
environment. In context-based self-adaptation, adaptations take place in response to the …

According to the fact that the intrinsic dynamism of self-organizing systems challenges the
existing methods of engineering for modeling reliable complex systems, in this paper, we …