{"id":"W2617314870","doi":"","title":"Incremental Proof-Based Development for Resilient Distributed Systems","year":2016,"lang":"en","type":"preprint","venue":"HAL (Le Centre pour la Communication Scientifique Directe)","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Correctness; Dependability; Distributed computing; Computer science; Resilience (materials science); Process (computing); Event (particle physics); Theoretical computer science; Software engineering; Algorithm; Programming language","routes":{"ca_aff":true,"ca_fund":false,"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.005418845,0.0008586654,0.0008096965,0.001501811,0.001178189,0.00228449,0.00329778,0.001222663,0.01189629],"category_scores_gemma":[0.02400198,0.001157779,0.001670459,0.0009895774,0.00248573,0.004569559,0.007049195,0.003226757,0.002335009],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001117117,"about_ca_system_score_gemma":0.002364599,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001259744,"about_ca_topic_score_gemma":0.001939495,"domain_scores_codex":[0.9938479,0.002255658,0.0005069479,0.0007006006,0.002162103,0.0005268597],"domain_scores_gemma":[0.9754023,0.01497384,0.0005688659,0.005704694,0.002839749,0.0005106213],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0006878364,0.0003616345,0.001435152,0.001586846,0.0001871498,0.001048385,0.001395417,0.09182084,0.02770421,0.4515615,0.01655379,0.4056573],"study_design_scores_gemma":[0.0002466484,0.0001874794,0.0002749789,0.0001833985,0.000189589,0.0005199539,0.0001438147,0.4657862,0.03713968,0.4487164,0.04653529,0.00007649196],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.006498258,0.0001896396,0.9832007,0.0003626124,0.00008154236,0.0002083572,0.0001170462,0.004868017,0.004473879],"genre_scores_gemma":[0.25403,0.0003448734,0.7365096,0.000309806,0.00008066386,0.0003600356,0.000525226,0.001355503,0.00648431],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01189629,"threshold_uncertainty_score":0.03979701,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01689904477050497,"score_gpt":0.2344789805578724,"score_spread":0.2175799357873674,"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."}}