A Formal Approach for QoS Assurance in the Cloud
暂无分享,去创建一个
[1] Parisa Heidari,et al. Efficient Method for Checking the Existence of a Safety/ Reachability Controller for Time Petri Nets , 2010, 2010 10th International Conference on Application of Concurrency to System Design.
[2] Hanifa Boucheneb,et al. TCTL Model Checking of Time Petri Nets , 2009, J. Log. Comput..
[3] Maria Toeroe,et al. Enhanced Configuration Generation Approach for Highly Available COTS Based Systems , 2014, 2014 Ninth International Conference on Availability, Reliability and Security.
[4] Abdelwahab Hamou-Lhadj,et al. Generating AMF Configurations from Software Vendor Constraints and User Requirements , 2009, 2009 International Conference on Availability, Reliability and Security.
[5] Philip Meir Merlin,et al. A study of the recoverability of computing systems. , 1974 .
[6] Maria Toeroe,et al. Comparing redundancy models for high availability middleware , 2013, Computing.
[7] P. Mell,et al. The NIST Definition of Cloud Computing , 2011 .
[8] M. Diaz,et al. Modeling and Verification of Time Dependent Systems Using Time Petri Nets , 1991, IEEE Trans. Software Eng..
[9] Parisa Heidari,et al. Maximally permissive controller synthesis for time Petri nets , 2013, Int. J. Control.
[10] Massoud Pedram,et al. Multi-dimensional SLA-Based Resource Allocation for Multi-tier Cloud Computing Systems , 2011, 2011 IEEE 4th International Conference on Cloud Computing.
[11] A. Fox,et al. Is MTTR More Important Than MTTF For Improving User-Perceived Availability ? , 2022 .
[12] A. S. Sathaye,et al. Synthesis of real-time supervisors for controlled time Petri nets , 1993, Proceedings of 32nd IEEE Conference on Decision and Control.
[13] Tharam S. Dillon,et al. SLA-Based Trust Model for Cloud Computing , 2010, 2010 13th International Conference on Network-Based Information Systems.
[14] Ali Kanso. Automated Configuration Design and Analysis for ServiceHigh-Availability , 2012 .
[15] Maria Toeroe,et al. Service Availability: Principles and Practice , 2012 .
[16] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .
[17] H. Wong-Toi,et al. The control of dense real-time discrete event systems , 1991, [1991] Proceedings of the 30th IEEE Conference on Decision and Control.
[18] Wojciech Penczek,et al. Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata , 2004, ICATPN.
[19] Christoph Reich,et al. Key Performance Indicators for Cloud Computing SLAs , 2013 .
[20] Pierre Sens,et al. Towards QoS-Oriented SLA Guarantees for Online Cloud Services , 2013, 2013 13th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing.