{"id":"W1481895439","doi":"10.1109/sp.2015.59","title":"Caelus: Verifying the Consistency of Cloud Services with Battery-Powered Devices","year":2015,"lang":"en","type":"article","venue":"","topic":"Cloud Data Security Solutions","field":"Computer Science","cited_by":27,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Ontario Ministry of Research and Innovation; Natural Sciences and Engineering Research Council of Canada","keywords":"Cloud computing; Computer science; Consistency (knowledge bases); Computer network; Computer security; Consistency model; Causal consistency; Service (business); Key (lock); Cloud storage; Strong consistency; Overhead (engineering); Data consistency; Database; Operating system; Sequential consistency","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007224404,0.001233467,0.001059539,0.001188895,0.001703834,0.002861248,0.005246016,0.001885962,0.002221297],"category_scores_gemma":[0.04347055,0.0008625621,0.0008426167,0.001272837,0.003054522,0.007005357,0.004112049,0.002340312,0.0007378553],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002656244,"about_ca_system_score_gemma":0.005312465,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01991086,"about_ca_topic_score_gemma":0.01421547,"domain_scores_codex":[0.9843011,0.00414116,0.001487544,0.002520795,0.00614469,0.001404633],"domain_scores_gemma":[0.9625299,0.01278977,0.003442975,0.01491004,0.004975275,0.001352127],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.009569989,0.00185743,0.1303629,0.002142894,0.001186501,0.003270917,0.00373088,0.2562221,0.1051618,0.08741976,0.05552405,0.3435508],"study_design_scores_gemma":[0.0004777006,0.0006675952,0.006567767,0.0001091209,0.0001149671,0.0007600129,0.000557434,0.9081396,0.05615527,0.01481317,0.01149601,0.000141408],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6924637,0.001613374,0.2321777,0.001734033,0.0006943565,0.001156657,0.001790931,0.05710735,0.01126177],"genre_scores_gemma":[0.9473423,0.0001171766,0.05004663,0.000239307,0.00003444606,0.0001035654,0.0006381465,0.0004119421,0.001066578],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01991086,"threshold_uncertainty_score":0.03958988,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03101166503081044,"score_gpt":0.2524412338153649,"score_spread":0.2214295687845545,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}