共 50 条
- [1] Formally Modeling and Analyzing the Adaptive Resource Management for Cloud Applications [J]. JOURNAL OF INTERNET TECHNOLOGY, 2017, 18 (05): : 1003 - 1015
- [2] Formally Modeling and Analyzing the Reliability of Composite Service Evolution [J]. PROCEEDINGS 2015 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, 2015, : 87 - 94
- [3] An Approach to Modeling and Analyzing Reliability for Microservice-Oriented Cloud Applications [J]. WIRELESS COMMUNICATIONS & MOBILE COMPUTING, 2021, 2021
- [4] Formally modeling and analyzing cost-aware job scheduling for cloud data center [J]. SOFTWARE-PRACTICE & EXPERIENCE, 2018, 48 (09): : 1536 - 1559
- [5] Formally Modeling and analyzing a secure mobile agent finder [J]. INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS, VOL 1-4, PROCEEDINGS, 2005, : 47 - 52
- [6] Reliability of Cloud-Based Applications [J]. SERVICE-ORIENTED AND CLOUD COMPUTING, (ESOCC 2016), 2016, 9846 : 235 - 247
- [7] A Reliability Assessment Framework for Cloud Applications [J]. CLOUD COMPUTING 2015: THE SIXTH INTERNATIONAL CONFERENCE ON CLOUD COMPUTING, GRIDS, AND VIRTUALIZATION, 2015, : 127 - 130
- [8] Modeling and Testing of Cloud Applications [J]. 2009 IEEE ASIA-PACIFIC SERVICES COMPUTING CONFERENCE (APSCC 2009), 2009, : 107 - +
- [9] Modeling and Analyzing Power System Failures on Cloud Services [J]. 2017 13TH INTERNATIONAL CONFERENCE ON NETWORK AND SERVICE MANAGEMENT (CNSM), 2017,