Emulation IaaS Dynamic Consolidation Branch and bound SLA Components Programmation par aspects Object-Oriented Programming MDE Explanations Program transformations Interoperability Cloud computing High performance Optimization Composition Design patterns Subtyping Explications Programmation par contraintes Object-oriented programming Model Transformation Distributed Computing Configuration Global optimization Composite Compiler correctness CP-based column generation Distributed file systems Visitor Global constraints Constraint propagation Theory Constraints Capacity Planning Adaptation Architecture Model-Driven Engineering Modular maintenance Refactoring Abstraction Service-Oriented Computing Migration Distributed systems Scheduling Artificial intelligence QoS Reactivity Security CTL UML AOP Constraint programming Aspect composition Fractal Service Level Agreement SLA Reconfiguration Model checking Elasticity Concurrent Computing Programming languages Algorithmes Cartography Scalability Linux Aspects Design Virtualisation Constraint Programming CBSE Aspect-Oriented Programming Framework Aspect interference analysis Languages Software architecture Cloud Computing Contraintes Controllers Interval arithmetic Quality-of-Service QoS Java Cluster Analyse de mutations Auto-scaling Combinatorial optimization Chemical Semantics ATL OCL Calibration Concurrency Virtualization Consolidation Aspect composition patterns Program transformation Aspect-oriented programming Model-driven engineering Ordonnancement Autonomous systems Algorithms ASPECT-ORIENTED PROGRAMMING