Statically and Dynamically Verifiable SLA Metrics
暂无分享,去创建一个
[1] Cosimo Laneve,et al. Engineering virtualized services , 2013, NordiCloud '13.
[2] Frank S. de Boer,et al. Formal Verification of Service Level Agreements Through Distributed Monitoring , 2015, ESOCC.
[3] Wolfgang Emmerich,et al. SLAng: a language for defining service level agreements , 2003, The Ninth IEEE Workshop on Future Trends of Distributed Computing Systems, 2003. FTDCS 2003. Proceedings..
[4] Joseph C. Okika. Analysis and Verification of Service Contracts , 2010 .
[5] Kim G. Larsen,et al. A Tutorial on Uppaal , 2004, SFM.
[6] Vaughan R. Pratt,et al. SEMANTICAL CONSIDERATIONS ON FLOYD-HOARE LOGIC , 1976, FOCS 1976.
[7] Elvira Albert,et al. SACO: Static Analyzer for Concurrent Objects , 2014, TACAS.
[8] George Spanoudakis,et al. Translation of SLAs into Monitoring Specifications , 2011 .
[9] Vaughan R. Pratt,et al. Semantical consideration on floyo-hoare logic , 1976, 17th Annual Symposium on Foundations of Computer Science (sfcs 1976).
[10] Reiner Hähnle,et al. Resource Analysis of Complex Programs with Cost Equations , 2014, APLAS.
[11] Mohammad Mahdi Jaghoori,et al. Composing Real-Time Concurrent Objects Refinement, Compatibility and Schedulability , 2011, FSEN.
[12] Cosimo Laneve,et al. Static analysis of cloud elasticity , 2015, PPDP.
[13] Bernhard Beckert,et al. Verification of Object-Oriented Software. The KeY Approach - Foreword by K. Rustan M. Leino , 2007, The KeY Approach.
[14] Heiko Ludwig,et al. The WSLA Framework: Specifying and Monitoring Service Level Agreements for Web Services , 2003, Journal of Network and Systems Management.
[15] Ugo Montanari,et al. QoS negotiation in service composition , 2011, J. Log. Algebraic Methods Program..
[16] Francesco Torelli,et al. SLA★: An abstract syntax for Service Level Agreements , 2010, 2010 11th IEEE/ACM International Conference on Grid Computing.
[17] Reiner Hähnle,et al. KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS , 2015, CADE.
[18] Cosimo Laneve,et al. Time complexity of concurrent programs , 2015, FACS.
[19] Deborah L. McGuinness,et al. Bringing Semantics to Web Services with OWL-S , 2007, World Wide Web.
[20] G. Gentzen. Untersuchungen über das logische Schließen. I , 1935 .