{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003359593,0.0001165428,0.0001544902,0.00004421728,0.0001285158,0.0001338031,0.00137001,0.00003603856,0.00001922564],"category_scores_gemma":[0.00002256097,0.00006987407,0.00003255373,0.0004184468,0.0001265217,0.0004951479,0.0004824999,0.0000976696,0.00005390721],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002511323,"about_ca_system_score_gemma":0.00015681,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001238168,"about_ca_topic_score_gemma":0.003239416,"domain_scores_codex":[0.998875,0.00007486658,0.0002194924,0.0002612409,0.0003529843,0.0002163783],"domain_scores_gemma":[0.9984571,0.0001379736,0.0001243088,0.0009756343,0.0002053385,0.00009968882],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.000104213,0.0007327622,0.08733097,0.0005443824,0.0004854621,0.0000854478,0.06412603,0.0005596968,0.0008651068,0.7976328,0.04115814,0.006374969],"study_design_scores_gemma":[0.009329157,0.002501672,0.08467264,0.001338204,0.0004355373,0.001179599,0.0545015,0.277121,0.009252205,0.02864777,0.5271435,0.003877153],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.713118,0.002432291,0.2126145,0.01904728,0.001878779,0.0009139915,0.00009126132,0.0007135326,0.04919039],"genre_scores_gemma":[0.9822994,0.000005621248,0.01643233,0.001125062,0.00004845898,0.000007263737,0.000006368692,0.000006054368,0.00006936132],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.768985,"threshold_uncertainty_score":0.2849382,"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."}}