CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements
No abstract available.
DOI 10.1007/978-3-540-71316-6_3
Related papers
- QuickSilver: modeling and parameterized verification for distributed agreement-based systems OOPSLA 2021
- Towards Language-Parametric Semantic Editor Services Based on Declarative Type System Specifications (Brave New Idea Paper) ECOOP 2019
- Detecting network load violations for distributed control planes PLDI 2020
- Cacheman: A Comprehensive Last-Level Cache Management System for Multi-tenant Clouds PPoPP 2026
- S: a scripting language for high-performance RESTful web services PPoPP 2012
- A Constraint-Oriented Service Creation Environment TACAS 1996
- Improving Native-Image Startup Performance CGO 2025
- GreenWeb: language extensions for energy-efficient mobile web computing PLDI 2016