{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001066314,0.0005138382,0.0003901815,0.0006311051,0.000694843,0.001276585,0.001553097,0.001008492,0.002138925],"category_scores_gemma":[0.001883127,0.0004321116,0.0004396976,0.0004185277,0.000886613,0.001118748,0.000891412,0.001093848,0.0006550664],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008537679,"about_ca_system_score_gemma":0.001524837,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001474055,"about_ca_topic_score_gemma":0.00147462,"domain_scores_codex":[0.9991518,0.0001955289,0.00006878546,0.0001515311,0.000365759,0.00006654236],"domain_scores_gemma":[0.9993448,0.0001529249,0.00006552636,0.0001337734,0.0002502476,0.00005272658],"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.0004090359,0.0002764494,0.001495445,0.0006841706,0.0001631538,0.001387163,0.001097218,0.1878359,0.2276078,0.4160592,0.003747031,0.1592374],"study_design_scores_gemma":[0.0001360939,0.0004787534,0.0005440309,0.0000707224,0.000208565,0.0008915446,0.000165325,0.7441733,0.1443144,0.04434211,0.06459098,0.00008419256],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0100865,0.00007265597,0.9861003,0.0001250574,0.00005294033,0.0002822212,0.00002517003,0.001185963,0.00206924],"genre_scores_gemma":[0.3050285,0.0002292104,0.6893378,0.0001326956,0.00003162381,0.0008533821,0.0001110105,0.0001927195,0.004083003],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.002138925,"threshold_uncertainty_score":0.007155359,"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."}}