A review of microservices autoscaling with formal verification perspective.
Stretching your data with taffy filters.
Compatibility checking for cyber-physical systems based on microservices.
Evaluating the benefits of empowering model-driven development with a machine learning classifier.
Scheduling algorithms for truly heterogeneous hierarchical fog networks.
Design and implementation of a fully transparent partial abort support for software transactional memory.
Design and implementation of the new Italian healthcare digital interoperable registry for implantable medical devices.