{"id":"W2165081124","doi":"10.1109/ccece.1999.807202","title":"Description and validation of the Internet Stream Protocol (ST2+) using SDL/MSC","year":2003,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Resource Reservation Protocol; Protocol (science); Reservation; The Internet; Internet layer; Task (project management); Formal specification; Internet Protocol; Computer network; Programming language; Distributed computing; Operating system","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.004114968,0.0009348641,0.0006052569,0.001042449,0.0004621899,0.001560978,0.001784053,0.0007892828,0.001639828],"category_scores_gemma":[0.005545345,0.0005335766,0.001082028,0.0004731319,0.001584802,0.001625115,0.0008964425,0.001330808,0.0004296733],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001110718,"about_ca_system_score_gemma":0.00285977,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003936598,"about_ca_topic_score_gemma":0.002770597,"domain_scores_codex":[0.9963518,0.00117655,0.000335214,0.0002254492,0.00168889,0.0002220986],"domain_scores_gemma":[0.9949845,0.002371656,0.0005350486,0.001059147,0.0009653312,0.00008421514],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0003389262,0.0003089453,0.003700775,0.0007502479,0.0001243898,0.001178035,0.0006675331,0.5789133,0.06516211,0.2636743,0.004723918,0.08045743],"study_design_scores_gemma":[0.0001102928,0.0002119812,0.0003909297,0.00009038125,0.00006309575,0.0002596795,0.00005057798,0.8984305,0.06100376,0.0186879,0.02065437,0.00004654284],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02622311,0.0001238274,0.9680769,0.0001677258,0.00004114785,0.0003098017,0.0004945905,0.00287814,0.001684717],"genre_scores_gemma":[0.3576753,0.0004915961,0.63363,0.0002034476,0.00005395557,0.001531344,0.002701092,0.0006697107,0.003043609],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004114968,"threshold_uncertainty_score":0.02176231,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07879078876582608,"score_gpt":0.331406318395601,"score_spread":0.2526155296297749,"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."}}