共 50 条
- [22] Developing Checkpointing and Recovery Procedures with the Storage Services of Amazon Web Services 49TH INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING WORKSHOP PROCEEDINGS, ICPP 2020, 2020,
- [24] Security and Cost Optimization Auditing for Amazon Web Services PROCEEDINGS OF THE 2019 2ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND INFORMATION MANAGEMENT (ICSIM 2019) / 2019 2ND INTERNATIONAL CONFERENCE ON BIG DATA AND SMART COMPUTING (ICBDSC 2019), 2019, : 44 - 48
- [25] Formal Reasoning About the Security of Amazon Web Services COMPUTER AIDED VERIFICATION (CAV 2018), PT I, 2018, 10981 : 38 - 47
- [28] Automated Formal Reasoning about Amazon Web Services SPIN'17: PROCEEDINGS OF THE 24TH ACM SIGSOFT INTERNATIONAL SPIN SYMPOSIUM ON MODEL CHECKING OF SOFTWARE, 2017, : 9 - 9
- [29] Interorganisational Architectural Framework Leveraging Web Services and AJAX IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS, 2008, : 433 - 434
- [30] Analysis of RTO and RPO of a Service Stored on Amazon Web Service (AWS) and Google Cloud Engine (GCE) PROCEEDINGS OF 2018 THE 10TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY AND ELECTRICAL ENGINEERING (ICITEE), 2018, : 418 - 422