{"id":"W4251839725","doi":"10.1007/3-540-45139-0_17","title":"Modeling and verifying a price model for congestion control in computer networks using promela/spin","year":2001,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Network Traffic and Congestion Control","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Promela; Computer science; Network packet; Network congestion; Convergence (economics); Enforcement; Model checking; Computer network; Distributed computing; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.002746704,0.0007903734,0.0009503835,0.0005708742,0.001061847,0.002397973,0.001718036,0.001180274,0.002769642],"category_scores_gemma":[0.008390509,0.0009366241,0.001540628,0.000490944,0.002512441,0.004081185,0.001630834,0.002376604,0.0003277914],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001048986,"about_ca_system_score_gemma":0.002181649,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005624833,"about_ca_topic_score_gemma":0.005851266,"domain_scores_codex":[0.998171,0.0005646699,0.0001564558,0.0002631862,0.0006006809,0.000244052],"domain_scores_gemma":[0.995966,0.002352032,0.0003491532,0.0008305388,0.0004080295,0.00009426728],"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.0002823006,0.0001206179,0.001272029,0.0002140396,0.00007870224,0.0002553178,0.000299311,0.6524795,0.007313311,0.3173104,0.001075794,0.01929863],"study_design_scores_gemma":[0.00005291073,0.00003859402,0.00006107256,0.00001177729,0.00003173211,0.00003602518,0.00003069323,0.9105099,0.005220765,0.08297808,0.001013633,0.0000148047],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05348112,0.00008793549,0.9401393,0.0002479099,0.0000572384,0.0001071028,0.0001150074,0.002115811,0.003648579],"genre_scores_gemma":[0.8403125,0.000124304,0.1568054,0.00009486348,0.00002851101,0.0001297191,0.0001426919,0.0002796789,0.002082324],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.005624833,"threshold_uncertainty_score":0.01452613,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02544323026234097,"score_gpt":0.2496787285148595,"score_spread":0.2242354982525185,"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."}}