2 papers
cs.NI2026
Certified Closed-Loop Control for Packet Networks: A Compositional Certification Framework
Muhammad Bilal, Jon Crowcroft, Xiaolong Xu +1
Packet networks are controlled dynamical systems with discontinuities, delayed observations, and partial state information. Adaptive or learning-driven proposers can improve perfor…
cs.DC2026
Auto-scaling Approaches for Microservice Applications: A Survey and Taxonomy
Minxian Xu, Junhan Liao, Linfeng Wen +4
Microservice applications are created as loosely coupled application components and they leverage cloud elasticity to reduce costs and increase development speed. However, microser…