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