{"id":"W2944758595","doi":"10.1007/978-3-030-20074-9_5","title":"Generating a Real-Time Constraint Engine for Network Protocols","year":2019,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Network Security and Intrusion Detection","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"","keywords":"Computer science; Constraint (computer-aided design); Digital subscriber line; Representation (politics); Time constraint; Model transformation; Transformation (genetics); Distributed computing; Real-time computing; Computer network; Artificial intelligence","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.001960137,0.001359496,0.0008444143,0.001554396,0.0007438645,0.002280965,0.00355639,0.001387243,0.01041181],"category_scores_gemma":[0.01050817,0.001179109,0.002338181,0.001343251,0.001230745,0.003265187,0.002652554,0.002024143,0.002115992],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001637076,"about_ca_system_score_gemma":0.002885833,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008515585,"about_ca_topic_score_gemma":0.01445153,"domain_scores_codex":[0.9978315,0.0003807609,0.0001554651,0.000446159,0.0009397196,0.000246354],"domain_scores_gemma":[0.9947399,0.003209512,0.0002578351,0.0008178999,0.0008597716,0.0001151883],"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.0006318234,0.0005594336,0.002753143,0.001042667,0.0002183191,0.001077221,0.0004825076,0.454553,0.03802332,0.1188874,0.02554841,0.3562228],"study_design_scores_gemma":[0.00007274055,0.00003931172,0.0001387664,0.00002719189,0.00004148523,0.00007094224,0.00005098412,0.9562224,0.01442037,0.02311649,0.005776401,0.0000229411],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02103785,0.0001029251,0.9559888,0.0003344498,0.0001123278,0.000513856,0.0013008,0.01585147,0.0047575],"genre_scores_gemma":[0.1868588,0.0001601575,0.8015217,0.0001983225,0.00004929796,0.0003472633,0.003208759,0.002855269,0.004800556],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01041181,"threshold_uncertainty_score":0.03483093,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01699021719257599,"score_gpt":0.2531488911041181,"score_spread":0.2361586739115422,"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."}}