Khalil Drira

TL;DR: This paper introduces a novel cache replacement policy called Least Fresh First (LFF) integrating the cache freshness requirement in ICN-based IoT networks, and shows that LFF significantly improves data freshness compared to other policies, while enhancing the server hit reduction ratio, the hop reduction ratio and the response latency.

TL;DR: This paper aims, first, to model message-oriented SOA design patterns with the SoaML standard language, and second to formally specify these patterns at a high level of abstraction using the Event-B method.

TL;DR: This paper proposes a process to individually adapt one component at a time and elaborate a coordination protocol to maintain globally consistent state when implementing distributed adaptations, and constructs a formal model of the protocol using Coloured Petri Nets in order for an adaptive system to be trusted after adaptation.

TL;DR: A BPMN extension (called BPOMN) is proposed that allows specifying the requirements of BP activities in terms of security, compliance, cost, and performance, which enables specifying and considering all relevant information for effective Cloud BPO.