{"id":"W2146041937","doi":"10.1109/mmse.2003.1254438","title":"A component-based design of a fault-tolerant multimedia communication protocol","year":2003,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Dependability; Correctness; Computer science; Protocol (science); Component (thermodynamics); Fault tolerance; Communications protocol; Distributed computing; Embedded system; Computer network; Programming language; Software engineering","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001275306,0.00009884995,0.0001397805,0.00009006142,0.00006892713,0.00003529045,0.0008276546,0.00005370155,0.00003411962],"category_scores_gemma":[0.0002123975,0.00008526442,0.0000383551,0.0003229592,0.00007644232,0.0002809569,0.00005211181,0.00009193108,0.00002817207],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003437922,"about_ca_system_score_gemma":0.00009889276,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001916244,"about_ca_topic_score_gemma":9.362504e-7,"domain_scores_codex":[0.9983113,0.0007635735,0.0003424135,0.0001880582,0.0002442566,0.0001503449],"domain_scores_gemma":[0.9982985,0.0002338637,0.0001938206,0.001073052,0.0001487137,0.00005208745],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002326289,0.002379054,0.0007055369,0.0003201883,0.00005285619,0.000003894092,0.003183223,0.05827567,0.09340415,0.7122335,0.00144271,0.1277665],"study_design_scores_gemma":[0.0007209117,0.0000789316,0.00030005,0.00002296018,0.000001788968,0.000002226553,0.00001349972,0.8630629,0.1329871,0.0006306382,0.002081745,0.00009733274],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001576166,0.000004708859,0.9729444,0.00007558135,0.00003705606,0.0249819,4.120668e-7,0.0001147371,0.001683566],"genre_scores_gemma":[0.03794624,3.502127e-7,0.9374316,0.00009617321,0.000002229527,0.02448745,0.000001102083,0.000005992114,0.00002887409],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.8047872,"threshold_uncertainty_score":0.3476982,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06566225526966574,"score_gpt":0.3337073135060176,"score_spread":0.2680450582363519,"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."}}