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