A Formal Design Model for Cloud Services
暂无分享,去创建一个
[1] Jifeng He,et al. rCOS: A refinement calculus of object systems , 2006, Theor. Comput. Sci..
[2] Frank S. de Boer,et al. Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study , 2012, ESOCC.
[3] Xiao Ma,et al. Monitoring-Based Task Scheduling in Large-Scale SaaS Cloud , 2016, ICSOC.
[4] Wei Song,et al. Auction Mechanisms Toward Efficient Resource Sharing for Cloudlets in Mobile Cloud Computing , 2016, IEEE Transactions on Services Computing.
[5] Kwang Mong Sim,et al. Agent-Based Cloud Computing , 2012, IEEE Transactions on Services Computing.
[6] Rajkumar Buyya,et al. Article in Press Future Generation Computer Systems ( ) – Future Generation Computer Systems Cloud Computing and Emerging It Platforms: Vision, Hype, and Reality for Delivering Computing as the 5th Utility , 2022 .
[7] Guisheng Fan,et al. Achieving Efficient Access Control via XACML Policy in Cloud Computing , 2015, ICSE 2015.
[8] Jim Woodcock,et al. A Denotational Semantics for Circus , 2007, Refine@ICFEM.
[9] Farhad Arbab,et al. Connectors as designs: Modeling, refinement and test case generation , 2012, Sci. Comput. Program..
[10] Chafia Bouanaka,et al. Towards a Formal Model for Cloud Computing Elasticity , 2014, 2014 IEEE 23rd International WETICE Conference.
[11] Amel Mammar,et al. Towards Correct Cloud Resource Allocation in Business Processes , 2017, IEEE Transactions on Services Computing.
[12] Jian Cao,et al. A Model-Driven Framework for Interoperable Cloud Resources Management , 2016, ICSOC.
[13] C. A. R. Hoare,et al. Unifying theories of programming , 1998, RelMiCS.
[14] Haiping Xu,et al. A RAID-Based Secure and Fault-Tolerant Model for Cloud Information Storage , 2013, Int. J. Softw. Eng. Knowl. Eng..
[15] Yi Li,et al. Modeling and verification of component connectors in Coq , 2015, Sci. Comput. Program..
[16] Jin Song Dong,et al. A Semantic Foundation for TCOZ in Unifying Theories of Programming , 2003, FME.
[17] Kai Engelhardt,et al. Data Refinement: Model-Oriented Proof Methods and their Comparison , 1998 .
[18] Paul Watson,et al. Formalising Workflows Partitioning over Federated Clouds: Multi-level Security and Costs , 2012, 2012 IEEE Eighth World Congress on Services.
[19] Kim G. Larsen,et al. A Cost/Reward Method for Optimal Infinite Scheduling in Mobile Cloud Computing , 2015, FACS.
[20] Sun Meng,et al. On Refinement of Software Architectures , 2005, ICTAC.
[21] Faiza Belala,et al. Towards a Formal Model for Cloud Computing , 2013, ICSOC Workshops.
[22] Yunxiang Liu,et al. Modeling and analyzing cost-aware fault tolerant strategy for cloud application , 2016, SEKE.