Formalising Workflows Partitioning over Federated Clouds: Multi-level Security and Costs
暂无分享,去创建一个
[1] Michael J. Butler,et al. ProB: an automated analysis toolset for the B method , 2008, International Journal on Software Tools for Technology Transfer.
[2] Daniel Kroening,et al. A Survey of Automated Techniques for Formal Software Verification , 2008, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[3] Paul Watson,et al. Formalising Workflows Partitioning over Federated Clouds: Multi-level Security and Costs , 2012, 2012 IEEE Eighth World Congress on Services.
[4] Paul Watson,et al. e‐Science Central for CARMEN: science as a service , 2010, Concurr. Comput. Pract. Exp..
[5] Paul Watson. A multi-level security model for partitioning workflows over federated clouds , 2011, 2011 IEEE Third International Conference on Cloud Computing Technology and Science.
[6] Lawrence Charles Paulson,et al. Isabelle: A Generic Theorem Prover , 1994 .
[7] Cliff B Jones,et al. Learning from an expert's proof: AI4FM , 2010 .
[8] Wolfram Schulte,et al. Synthesis of Cloud Applications using Logic Programming: BAM! , 2008 .
[9] Koen Claessen,et al. HipSpec: Automating Inductive Proofs of Program Properties , 2012, ATx/WInG@IJCAR.
[10] Jim Woodcock,et al. Proving Theorems About JML Classes , 2007, Formal Methods and Hybrid Real-Time Systems.
[11] Mark Saaltink. The Z/EVES System , 1997, ZUM.
[12] Dave Cliff,et al. A financial brokerage model for cloud computing , 2011, Journal of Cloud Computing: Advances, Systems and Applications.
[13] L.,et al. SECURE COMPUTER SYSTEMS : MATHEMATICAL FOUNDATIONS , 2022 .