Search
Now showing items 31-40 of 42
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 ...
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é ...
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 ...
A Mono- and Multi-objective Approach for Recommending Software Refactoring
(2015-02-18)
Les systèmes logiciels sont devenus de plus en plus répondus et importants dans notre société. Ainsi, il y a un besoin constant de logiciels de haute qualité. Pour améliorer la qualité de logiciels, l’une des techniques ...
Création interactive de mondes virtuels : combiner génération procédurale et contrôle utilisateur intuitif
(2015-02-18)
La complexité des mondes virtuels ne cesse d’augmenter et les techniques de modélisation classiques peinent à satisfaire les contraintes de quantité nécessaires à la production de telles scènes. Les techniques de génération ...
Mobile data and computation offloading in mobile cloud computing
(2019-10-30)
Le trafic mobile augmente considérablement en raison de la popularité des appareils mobiles et des applications mobiles. Le déchargement de données mobiles est une solution permettant de réduire la congestion du réseau ...
A unified framework for the comprehension of software's time dimension
(2015-04-30)
Les logiciels sont de plus en plus complexes et leur développement est souvent fait par des équipes dispersées et changeantes. Par ailleurs, de nos jours, la majorité des logiciels sont recyclés au lieu d’être développés ...
Simple optimizing JIT compilation of higher-order dynamic programming languages
(2019-10-30)
Implémenter efficacement les langages de programmation dynamiques demande beaucoup d’effort de développement.
Les compilateurs ne cessent de devenir de plus en plus complexes.
Aujourd’hui, ils incluent souvent une phase ...