{"id":"W2068242377","doi":"10.5555/380921.380946","title":"Modeling and verifying a price model for congestion control in computer networks using promela/spin","year":2001,"lang":"en","type":"article","venue":"International workshop on Model Checking Software","topic":"Network Traffic and Congestion Control","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Promela; Computer science; Convergence (economics); Network congestion; Network packet; Enforcement; Model checking; Computer network; Theoretical computer science","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.000488625,0.0002986056,0.0003169159,0.0002580416,0.0001934298,0.0003206482,0.0006012927,0.0002043816,0.000002234417],"category_scores_gemma":[0.00009870432,0.0003175822,0.0001030383,0.0002451214,0.00003393555,0.0006390161,0.0001359306,0.0003855788,0.000001358388],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002389144,"about_ca_system_score_gemma":0.00009791081,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000007813504,"about_ca_topic_score_gemma":0.00001668627,"domain_scores_codex":[0.9978945,0.00004642729,0.0004876037,0.0007266061,0.0003727193,0.0004722059],"domain_scores_gemma":[0.9988761,0.0002926424,0.0001475144,0.0002924514,0.0002735589,0.000117751],"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.0001370913,0.00006057142,0.0003712801,0.000007750504,0.00003253754,0.000008352603,0.0002282522,0.8740265,0.00001017137,0.004442924,0.00002051187,0.120654],"study_design_scores_gemma":[0.00198016,0.00002724771,0.00003808264,0.0003757209,0.0000141488,0.00002197777,0.000007948584,0.9942212,7.226239e-7,0.002960271,0.00002413152,0.000328354],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04227702,0.0002150892,0.9552922,0.0009207744,0.0004662796,0.000541853,0.000005622968,0.0002537902,0.00002737159],"genre_scores_gemma":[0.8214853,0.00005354969,0.1769087,0.001070359,0.0002585474,0.0001075687,0.00001091454,0.00003010215,0.00007494639],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7792083,"threshold_uncertainty_score":0.9999276,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03884762681953042,"score_gpt":0.2883049922359541,"score_spread":0.2494573654164237,"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."}}