Mots-clés

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

 

 

 

 

 

Nombre de documents en texte ingéral

390

 

Nombre de références

532

Dépôts cumulés

Dépôts par type de document