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