Aeolus: a component model for the cloud
From MaRDI portal
Recommendations
- Automatic application deployment in the cloud: from practice to theory and back (invited paper)
- On the expressiveness of synchronization in component deployment
- Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking
- Component reconfiguration in the presence of conflicts
- A verification and deployment approach for elastic component-based applications
Cites work
- scientific article; zbMATH DE number 3310089 (Why is no real title available?)
- A CPS encoding of name-passing in higher-order mobile embedded resources
- A calculus for reasoning about software composition
- A calculus of mobile processes. II
- Component reconfiguration in the presence of conflicts
- Global Computing
- Revisiting Ackermann-Hardness for Lossy Counter Machines and Reset Petri Nets
- The covering and boundedness problems for vector addition systems
- Well-structured transition systems everywhere!
Cited in
(6)- Automatic application deployment in the cloud: from practice to theory and back (invited paper)
- On the expressiveness of synchronization in component deployment
- On the Complexity of Reconfiguration in Systems with Legacy Components
- Scalable optimal deployment in the cloud of component-based applications using optimization modulo theory, mathematical programming and symmetry breaking
- Estimating costs of multi-component enterprise applications
- Component reconfiguration in the presence of conflicts
This page was built for publication: Aeolus: a component model for the cloud
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q476172)
