{"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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.000360214,0.0002326173,0.0002495415,0.0001214899,0.0002680365,0.0002981264,0.001527612,0.000110106,0.00004982292],"category_scores_gemma":[0.00001041123,0.0001907855,0.0000669363,0.001065386,0.00003267306,0.0004817346,0.00007193573,0.0004151241,0.00003477104],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001067186,"about_ca_system_score_gemma":0.0001543893,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001147908,"about_ca_topic_score_gemma":0.001203841,"domain_scores_codex":[0.9977438,0.0001002751,0.0003761497,0.00082723,0.000340661,0.0006118664],"domain_scores_gemma":[0.9974568,0.0001962446,0.00007421339,0.002118902,0.00004928209,0.0001045325],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002650924,0.0002917565,0.0003880234,0.00002998756,0.00005556708,0.0002036185,0.0002445464,0.1582329,0.00004128367,0.0002150772,0.0005378914,0.8397329],"study_design_scores_gemma":[0.0007971377,0.0001060925,0.0001515375,0.0003331942,0.00002451817,0.0001077389,0.00005802404,0.8922526,0.0002032534,0.001097275,0.1044155,0.0004530871],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.001126462,0.000747184,0.9934298,0.0008144658,0.002334814,0.0003418315,0.00001072618,0.0003767229,0.0008180162],"genre_scores_gemma":[0.9262291,0.0007215405,0.07076726,0.0005775305,0.0002078165,0.0001073341,0.00007687398,0.00003792721,0.001274589],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9251027,"threshold_uncertainty_score":0.7780008,"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."}}