Designing a Framework for Smart IoT Adaptations

Autor: Achtaich, Asmaa, Souissi, Nissrine, Mazo, Raul, Salinesi, Camille, Roudies, Ounsa

Publikováno v: International Conference on Emerging Technologies for Developing Countries, Mar 2017, Marrakech, Morocco

The Internet of Things (IoT) is the science of connecting multiple devices that coordinate to provide the service in question. IoT environments are complex, dynamic, rapidly changing and resource constrained. Therefore, proactively adapting devices t

Externí odkaz: http://arxiv.org/abs/1709.08539

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

A Generic Approach for Automated Verification of Product Line Models

Autor: Mazo, Raul

This thesis explores the subject of automatic verification of product line models. This approach is based on the hypothesis that to automatically verify product line models, they should first be transformed into a language that makes them computable.

Externí odkaz: http://tel.archives-ouvertes.fr/tel-00707351
http://tel.archives-ouvertes.fr/docs/00/70/73/51/PDF/Thesis-RaulMAZO-18-05-2012.pdf

Combining configuration and recommendation to define an interactive product line configuration approach

Autor: Salinesi, Camille, Triki, Raouia, Mazo, Raul

This paper is interested in e-commerce for complex configurable products/systems. In e-commerce, satisfying the customer needs is a vital concern. One particular way to achieve this is to offer customers a panel of options among which they can select

Externí odkaz: http://arxiv.org/abs/1206.2520

A Lightweight Method to Define Solver-Agnostic Semantics of Domain Specific Languages for Software Product Line Variability Models

Autor: Correa, Camilo, Mazo, Raul, Lopez, Andres, Robin, Jacques

Publikováno v: SOFTENG 2023-The 9th International Conference on Advances and Trends in Software Engineering
SOFTENG 2023-The 9th International Conference on Advances and Trends in Software Engineering, IARIA: International Academy, Research and Industry Association, Apr 2023, Venise, Italy

International audience; We propose a method to address the current lack of standards for both software product line variability modeling languages and their formal semantics. It allows specifying, in an agile, declarative, and solver-agnostic fashion

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3379::552bcfb6ad6382fec40b123dd07cc545
https://hal.science/hal-04077798/file/SOFTENG_2023_FINAL.pdf