La complexité croissante des systèmes d'information modernes a motivé l'apparition de nouveaux paradigmes (objets, composants, services, etc), permettant de mieux appréhender et maîtriser la masse critique de leurs fonctionnalités. Ces systèmes sont construits de façon modulaire et adaptable afin de minimiser les temps d'arrêts dus aux évolutions ou à la maintenance de ceux-ci. Afin de garantir des propriétés non fonctionnelles (par ex. maintien du temps de réponse malgré un nombre croissant de requêtes), ces systèmes sont également amenés à être distribués sur différentes ressources de calcul (grilles). Outre l'apport en puissance de calcul, la distribution peut également intervenir pour distribuer une tâche sur des nœuds aux propriétés spécifiques. C'est le cas dans le cas des terminaux mobiles proches des utilisateurs ou encore des objets et capteurs connectés proches physiquement du contexte de mesure. L'adaptation d'un système et de ses ressources nécessite cependant une connaissance de son état courant afin d'adapter son architecture et sa topologie aux nouveaux besoins. Un nouvel état doit ensuite être propagé à l'ensemble des nœuds de calcul. Le maintien de la cohérence et le partage de cet état est rendu particulièrement difficile à cause des connexions sporadiques inhérentes à la distribution, pouvant amener des sous-systèmes à diverger. En réponse à ces défi scientifiques, cette thèse propose une abstraction de conception et de déploiement pour systèmes distribués dynamiquement adaptables, grâce au principe du Model@Runtime. Cette approche propose la construction d'une couche de réflexion distribuée qui permet la manipulation abstraite de systèmes répartis sur des nœuds hétérogènes. En outre, cette contribution introduit dans la modélisation des systèmes adaptables la notion de cohérence variable, permettant ainsi de capturer la divergence des nœuds de calcul dans leur propre conception. Cette couche de réflexion, désormais cohérente "à terme", permet d'envisager la construction de systèmes adaptatifs hétérogènes, regroupant des nœuds mobiles et embarqués dont la connectivité peut être intermittente. Cette contribution a été concrétisée par un projet nommé ''Kevoree'' dont la validation démontre l'applicabilité de l'approche proposée pour des cas d'usages aussi hétérogènes qu'un réseau de capteurs ou une flotte de terminaux mobiles.

La sentence internationale est communément réputée obligatoire et non exécutoire et l’exécution est conçue comme une phase « post-adjudicative » relevant de l’imperium de l’Etat. L’étude des mécanismes de surveillance de l’exécution des arrêts et décisions des Cours européenne et interaméricaine des droits de l’homme permet un renversement de ces postulats. Alors que les articles 46§2 de la CEDH et 65 de la CADH prévoient des surveillances de nature politique de l’exécution desdits arrêts et décisions, la pratique a été toute autre. Il s’avère que les procédures de surveillance en question sont respectivement quasi juridictionnelle et juridictionnelle et continuent autrement le procès. Elles sont aussi contentieuses, car les organes de surveillance tranchent des différends relatifs à l’exécution des arrêts et décisions, selon les principes directeurs du procès. Les contentieux de l’exécution européen et interaméricain permettent alors une redéfinition du procès en droit international et attestent que la notion de phase « post-adjudicative » n’existe pas. Ces procédures de surveillance ont en outre une double finalité. La première s’attache au contrôle de deux types de comportements étatiques, des comportements imposés et escomptés. Ces contrôles révélant que l’Etat n’est pas libre de ses moyens d’exécution, visent à aboutir au résultat de l’exécution effective de l’arrêt ou de la décision juridictionnelle telle que cette exécution est conçue par les organes de surveillance. La seconde finalité consiste en des suivis d’actes rendus au cours des surveillances et desquels résulte une chose à exécuter. D’un point de vue procédural, les suivis de cette chose qui émerge des précisions apportées à la chose jugée et aux comportements étatiques, révèlent l’existence de nouveaux types de recours dans le contentieux international. D’un point de vue substantiel, les suivis de la chose sont une contrainte formelle pour l’Etat qui n’est libéré des procédures de surveillance que s’il exécute l’arrêt ou la décision conformément à la chose à exécuter. Ces suivis sont donc des voies d’exécution et attestent alors de la force exécutoire interne des arrêts et décisions des Cours européenne et interaméricaine des droits de l’homme, que les organes de surveillance garantissent. / In the absence of enforcement mechanisms, an international decision is deemed binding and non-enforceable, and execution is generally perceived as a “post-adjudicative” phase, belonging to the State’s imperium. Study of the supervision of execution of the judgments and decisions of the European and Inter-american Courts of Human Rights reveals that these basic assumptions can be challenged. Whereas articles 46§2 of the ECHR and 65 of the ACHR provide for political modes of supervision of execution of the judgments and decisions of the European and Inter-american Courts of Human Rights, the practice has been completely different. It appears that the said supervision procedures are respectively quasi judicial and judicial and arise in the continuation of the trial. They are also contentious, given that the supervision authorities resolve disputes relating to the execution of judgments and decisions in accordance with due process principles. These procedures contribute to redefining the concept of trial in international law and illustrate that the notion of “post-adjudicative” phase does not exist. They also serve a double purpose. First, they allow control of two types of the State conduct, imposed and expected conduct. Illustrating that the State is not free in choosing its means of execution, such control aspires to achieve the effective execution of the judgment or judicial decision. The second purpose consists in following up on the resolutions and/or orders made in the course of supervision and which result in a res executiva. This res executiva, which would have emerged on the basis of clarifications made to res judicata and State conduct, in turn becomes the subject of the follow-up procedures. The consequences of such follow-up are twofold : from the procedural point of view, it creates new forms of appeals; from the substantive point of view, it formally constraints the State and achieves enforceability of judgments and decisions, guaranteed by the supervision authorities.

Le développement récent des offres commerciales autour du cloud computing a fortement influé sur la recherche et le développement des plateformes de distribution numérique. Les fournisseurs du cloud offrent une infrastructure de distribution extensible qui peut être utilisée pour le stockage et le traitement des données.En parallèle avec le développement des plates-formes de cloud computing, les modèles de programmation qui parallélisent de manière transparente l'exécution des tâches gourmandes en données sur des machines standards ont suscité un intérêt considérable, à commencer par le modèle MapReduce très connu aujourd'hui puis par d'autres frameworks plus récents et complets. Puisque ces modèles sont de plus en plus utilisés pour exprimer les tâches de traitement de données analytiques, la nécessité se fait ressentir dans l'utilisation des langages de haut niveau qui facilitent la charge de l'écriture des requêtes complexes pour ces systèmes.Cette thèse porte sur des modèles et techniques d'optimisation pour le traitement efficace de grandes masses de données du Web sur des infrastructures à grande échelle. Plus particulièrement, nous étudions la performance et le coût d'exploitation des services de cloud computing pour construire des entrepôts de données Web ainsi que la parallélisation et l'optimisation des langages de requêtes conçus sur mesure selon les données déclaratives du Web.Tout d'abord, nous présentons AMADA, une architecture d'entreposage de données Web à grande échelle dans les plateformes commerciales de cloud computing. AMADA opère comme logiciel en tant que service, permettant aux utilisateurs de télécharger, stocker et interroger de grands volumes de données Web. Sachant que les utilisateurs du cloud prennent en charge les coûts monétaires directement liés à leur consommation de ressources, notre objectif n'est pas seulement la minimisation du temps d'exécution des requêtes, mais aussi la minimisation des coûts financiers associés aux traitements de données. Plus précisément, nous étudions l'applicabilité de plusieurs stratégies d'indexation de contenus et nous montrons qu'elles permettent non seulement de réduire le temps d'exécution des requêtes mais aussi, et surtout, de diminuer les coûts monétaires liés à l'exploitation de l'entrepôt basé sur le cloud.Ensuite, nous étudions la parallélisation efficace de l'exécution de requêtes complexes sur des documents XML mis en œuvre au sein de notre système PAXQuery. Nous fournissons de nouveaux algorithmes montrant comment traduire ces requêtes dans des plans exprimés par le modèle de programmation PACT (PArallelization ConTracts). Ces plans sont ensuite optimisés et exécutés en parallèle par le système Stratosphere. Nous démontrons l'efficacité et l'extensibilité de notre approche à travers des expérimentations sur des centaines de Go de données XML.Enfin, nous présentons une nouvelle approche pour l'identification et la réutilisation des sous-expressions communes qui surviennent dans les scripts Pig Latin. Notre algorithme, nommé PigReuse, agit sur les représentations algébriques des scripts Pig Latin, identifie les possibilités de fusion des sous-expressions, sélectionne les meilleurs à exécuter en fonction du coût et fusionne d'autres expressions équivalentes pour partager leurs résultats. Nous apportons plusieurs extensions à l'algorithme afin d’améliorer sa performance. Nos résultats expérimentaux démontrent l'efficacité et la rapidité de nos algorithmes basés sur la réutilisation et des stratégies d'optimisation. / The recent development of commercial cloud computing environments has strongly impacted research and development in distributed software platforms. Cloud providers offer a distributed, shared-nothing infrastructure, that may be used for data storage and processing.In parallel with the development of cloud platforms, programming models that seamlessly parallelize the execution of data-intensive tasks over large clusters of commodity machines have received significant attention, starting with the MapReduce model very well known by now, and continuing through other novel and more expressive frameworks. As these models are increasingly used to express analytical-style data processing tasks, the need for higher-level languages that ease the burden of writing complex queries for these systems arises.This thesis investigates the efficient management of Web data on large-scale infrastructures. In particular, we study the performance and cost of exploiting cloud services to build Web data warehouses, and the parallelization and optimization of query languages that are tailored towards querying Web data declaratively.First, we present AMADA, an architecture for warehousing large-scale Web data in commercial cloud platforms. AMADA operates in a Software as a Service (SaaS) approach, allowing users to upload, store, and query large volumes of Web data. Since cloud users support monetary costs directly connected to their consumption of resources, our focus is not only on query performance from an execution time perspective, but also on the monetary costs associated to this processing. In particular, we study the applicability of several content indexing strategies, and show that they lead not only to reducing query evaluation time, but also, importantly, to reducing the monetary costs associated with the exploitation of the cloud-based warehouse.Second, we consider the efficient parallelization of the execution of complex queries over XML documents, implemented within our system PAXQuery. We provide novel algorithms showing how to translate such queries into plans expressed in the PArallelization ConTracts (PACT) programming model. These plans are then optimized and executed in parallel by the Stratosphere system. We demonstrate the efficiency and scalability of our approach through experiments on hundreds of GB of XML data.Finally, we present a novel approach for identifying and reusing common subexpressions occurring in Pig Latin scripts. In particular, we lay the foundation of our reuse-based algorithms by formalizing the semantics of the Pig Latin query language with extended nested relational algebra for bags. Our algorithm, named PigReuse, operates on the algebraic representations of Pig Latin scripts, identifies subexpression merging opportunities, selects the best ones to execute based on a cost function, and merges other equivalent expressions to share its result. We bring several extensions to the algorithm to improve its performance. Our experiment results demonstrate the efficiency and effectiveness of our reuse-based algorithms and optimization strategies.

Nous nous positionnons dans un contexte d'informatique ambiante dans lequel il arrive que les besoins de l'utilisateur n'aient pas été prévus, notamment en situation exceptionnelle. Dans ce cas, il peut ne pas exister de système préconçu qui réponde exactement à ces besoins. Pour les satisfaire, il faut alors pouvoir composer les systèmes disponibles dans l'environnement, et le système composé doit permettre à l'utilisateur de faire des choix à l'exécution. Ainsi, l'utilisateur a la possibilité d'adapter l'exécution de la composition à son contexte. Cela signifie que la composition intègre des structures de contrôle de l'exécution, destinées à l'utilisateur : la composition est dite flexible. Dans cette thèse, nous proposons de répondre au problème de la composition flexible en contexte d'intelligence ambiante avec un planificateur produisant des plans flexibles. Dans un premier temps, nous proposons une modélisation de la planification flexible. Pour cela, nous définissons les opérateurs de séquence et d'alternative, utilisés pour caractériser les plans flexibles. Nous définissons deux autres opérateurs au moyen de la séquence et de l'alternative : l'entrelacement et l'itération. Nous nous référons à ce cadre théorique pour délimiter la flexibilité traitée par notre planificateur Lambda-Graphplan. L'originalité de Lambda-Graphplan est de produire des itérations en s'appuyant sur une approche par graphe de planification. Nous montrons notamment que Lambda-Graphplan est très performant avec les domaines se prêtant à la construction de structures itératives. / In a context of Ambient Intelligence, some of the user's needs might not be anticipated, e.g. when the user is in an unforeseen situation. In this case, there could exist no system that exactly meets their needs. By composing the available systems, the user could obtain a new system that satisfies their needs. In order to adapt the composition to the context, the composition must allow the user to make choices at runtime. So the composition includes control structures for the user: the composition is flexible. In this thesis, I deal with the problem of the flexible composition by automated planning. I propose a model of flexible planning. The sequence and the choice operators are defined and used to characterize flexible plans. Then, two other operators are derived from the sequence and the choice operators: the interleaving and the iteration operators. I refer to this framework to define the flexibility produced by my planner, Lambda-Graphplan, which is based on the planning graph. The originality of Lambda-Graphplan is to produce iterations. I show that Lambda-Graphplan is very efficient on domains that allow the construction of iterative structures.

Notre recherche concerne les bandas, associations composées de musiciens amateurs interprétant un répertoire musical aux sonorités principalement hispaniques et basques. <p>Les premières sont apparues dans le sud-ouest de la France dans les années soixante, suite à l’engouement de musiciens français pour les formations musicales qui accompagnaient les fêtes espagnoles, notamment celles de San Fermin à Pampelune. <p>Les musiciens du Sud-Ouest ont reproduit le modèle qu'ils avaient observé, certains l'ont fait dans les détails, d'autres ont aménagé le modèle en fonction des habitudes de leur localité.<p>Par la suite, des bandas sont apparues dans d'autres régions de France et même en Belgique.<p>Des éléments ont favorisé cette diffusion :la présence de sociétés musicales dans les communes qui ont adopté la pratique musicale des bandas, l’existence de relations de jumelage entre communes dont l’une est le siège d’une banda, la présence de liens historiques entre communes, le contexte global de perte de succès des fanfares et harmonies locales.<p>Notre recherche nous a amenée à observer plusieurs phénomènes :une certaine hispanisation du Sud-Ouest de la France à travers l’apparition des bandas, une diffusion de cette pratique musicale et festive en France et en Belgique souvent accompagnée de mouvements de (re)constructions identitaires, de revendications d’authenticité et de conflits de légitimité. <p><p>A notre connaissance, notre thèse est la première recherche analysant l’univers des bandas sur un espace géographique aussi étendu. Celle-ci est en outre la première étude concernant la propagation de cette pratique. <p>De plus, cette recherche aborde les bandas de différents points de vue, à travers leur histoire, leurs participations aux fêtes, leurs rôles dans les fêtes, dans les corridas, les courses landaises et les ferias, la volonté pour les bandas situées en dehors du Sud-Ouest de créer des fêtes qui leur correspondent dans ces régions où il n’existe pas de lieux festifs qui leur soient spécifiques. <p>D’un point de vue musical, nous abordons la problématique du répertoire des bandas, les conflits au sujet de leur modification, de leur modernisation, de leur authenticité, de leur « tradionalité ». Nous analysons également les situations d’apprentissage musical que les bandas produisent, que ce soit de manière informelle ou que ce soit organisé en écoles de musique. <p>A travers notre recherche, nous espérons ainsi construire une mémoire de ces formations musicales, un éclairage sur cette pratique, son origine, sa propagation, son appropriation et les moyens de réinvention mis en œuvre par les musiciens pour la rendre cohérente avec leur localité. Cette logique de réinvention provoque de nombreux conflits internes entre bandas conservatrices et bandas modernistes et c’est dans ces discours revendicateurs que l’on perçoit l’importance que chaque banda tient dans la vie des musiciens.<p> / Doctorat en Sciences politiques et sociales / info:eu-repo/semantics/nonPublished