Search
Now showing items 81-90 of 112
From examples to knowledge in model-driven engineering : a holistic and pragmatic approach
(2019-03-13)
Le Model-Driven Engineering (MDE) est une approche de développement logiciel qui
propose d’élever le niveau d’abstraction des langages afin de déplacer l’effort de
conception et de compréhension depuis le point de vue ...
Metamodel co-evolution with related model-driven engineering artifacts : a multi-objective search framework
(2019-03-13)
Les produits logiciels sont, en général, évolués en introduisant des changements continus. Les
tâches d’évolution et de maintenance sont fastidieuses et longues. Évidemment, il y a un besoin
pour trouver de meilleures ...
Adapting modeling environments to domain specific interactions
(2021-07-14)
Software tools are being used by experts in a variety of domains. There are numerous
software modeling environments tailored to a specific domain expertise. However, there is no
consistent approach to generically synthesize ...
Automates à contraintes semilinéaires = Automata with a semilinear constraint
(2013-09-03)
Cette thèse présente une étude dans divers domaines de l'informatique
théorique de modèles de calculs combinant automates finis et contraintes
arithmétiques. Nous nous intéressons aux questions de décidabilité,
d'expressivité ...
Routage adaptatif et stabilité dans les réseaux maillés sans fil
(2013-08-02)
Grâce à leur flexibilité et à leur facilité d’installation, les réseaux maillés sans fil (WMNs) permettent un déploiement d’une infrastructure à faible coût. Ces réseaux étendent la couverture des réseaux filaires permettant, ...
Modélisation des émotions de l’apprenant et interventions implicites pour les systèmes tutoriels intelligents
(2014-03-03)
La modélisation de l’expérience de l’utilisateur dans les Interactions Homme-Machine est un enjeu important pour la conception et le développement des systèmes adaptatifs intelligents. Dans ce contexte, une attention ...
Practical and Foundational Aspects of Secure Computation
(2015-02-18)
Il y a des problemes qui semblent impossible a resoudre sans l'utilisation d'un tiers parti
honnete. Comment est-ce que deux millionnaires peuvent savoir qui est le plus riche sans dire a l'autre la valeur de ses biens ? ...
Analysing artefacts dependencies to evolving software systems
(2014-05-01)
Les logiciels sont en constante évolution, nécessitant une maintenance et un développement continus. Ils subissent des changements tout au long de leur vie, que ce soit pendant l'ajout de nouvelles fonctionnalités ou la ...
Un outil d’évaluation neurocognitive des interactions humain-machine
(2013-11-07)
De plus en plus de recherches sur les Interactions Humain-Machine (IHM) tentent d’effectuer des analyses fines de l’interaction afin de faire ressortir ce qui influence les comportements des utilisateurs. Tant au niveau ...
Problèmes de tournées de véhicules avec contraintes de chargement
(2014-05-01)
Cette thèse s’intéresse aux problèmes de tournées de véhicules où l’on retrouve des contraintes de chargement ayant un impact sur les séquences de livraisons permises. Plus particulièrement, les items placés dans ...