{"id":"W3141077842","doi":"10.1109/tnet.2021.3068339","title":"Dynamic Property Enforcement in Programmable Data Planes","year":2021,"lang":"en","type":"article","venue":"IEEE/ACM Transactions on Networking","topic":"Software-Defined Networks and 5G","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":true,"ca_institutions":"Dalhousie University","funders":"Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; National Science Foundation","keywords":"Computer science; Scalability; Correctness; Forwarding plane; Distributed computing; Overhead (engineering); Latency (audio); Software-defined networking; Embedded system; Computer network; Operating system; Programming language; Network packet","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.004466745,0.000835109,0.0005406486,0.0006918958,0.0008160605,0.00230485,0.002300427,0.0009164101,0.001487476],"category_scores_gemma":[0.01091305,0.001019962,0.0008280598,0.0004245182,0.003389387,0.004226776,0.002927302,0.001893503,0.0002759073],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001490932,"about_ca_system_score_gemma":0.002178083,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004177403,"about_ca_topic_score_gemma":0.004168122,"domain_scores_codex":[0.9957168,0.001224021,0.0003575051,0.0007897628,0.001390068,0.0005218784],"domain_scores_gemma":[0.9885888,0.00546112,0.001279251,0.003657321,0.0008038452,0.0002096676],"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.001892261,0.0006562605,0.02429135,0.00112418,0.00027111,0.002749292,0.003543454,0.3192159,0.1741421,0.2515862,0.007114947,0.2134129],"study_design_scores_gemma":[0.0002078074,0.0002576216,0.001364404,0.0001282523,0.0001221282,0.000349419,0.0002508487,0.7486371,0.178863,0.05405039,0.01569107,0.00007789643],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1955888,0.0002176618,0.7786922,0.0002925136,0.00006296377,0.0001580001,0.0001932225,0.02121087,0.003583687],"genre_scores_gemma":[0.8404822,0.0001821094,0.1550624,0.0001947703,0.00001939248,0.0001691324,0.0002534144,0.001403739,0.002232748],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004466745,"threshold_uncertainty_score":0.02362269,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05688685864173976,"score_gpt":0.2811260390583032,"score_spread":0.2242391804165635,"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."}}