Abstract The Internet of Things (IoT) is a paradigm based on the interconnection of everyday
objects. It is expected that the 'things' involved in the IoT paradigm will have to interact with …

Contemporary software systems operate in heterogeneous, dynamic, and distributed
environments, where security needs change at runtime. The security solutions for such …

Crowdsourcing is a promising approach for enterprises to maintain a flexible workforce that
is able to solve parts of business processes formerly processed in-house. Companies …

The reflective middlewares have been used as a powerful tool to cope with inherent
heterogeneous nature of distributed systems, in order to give them greater adaptability …

Mobile systems are gaining more and more importance, and new promising paradigms like
Mobile Cloud Computing are emerging. Mobile Cloud Computing provides an infrastructure …

The Internet has transformed from a Web of content to a people-centric Web. People actively
use social networking platforms to stay in contact with friends and colleagues. The …

This paper aims at incorporating the notion of self-adaptiveness in the context of multiparty
sessions, by focusing on the issue of ensuring correctness for dynamic adaptations. A formal …

The ever-increasing complex, dynamic and distributed nature of current systems demands
model-driven techniques that allow working with abstractions and self-adaptive software in …

To model the notion of self-adaptiveness for multiparty sessions, we propose a formal
framework, where participants can access and modify the global state, in such a way that the …

Despite the increase in the efficiency of energy consumption in information and
communication technology, software execution and its constraints are responsible for how …