{"id":"W2266339742","doi":"10.1007/978-3-319-30303-1_7","title":"Runtime Enforcement with Partial Control","year":2016,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":12,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Chicoutimi","funders":"","keywords":"Computer science; Enforcement; Set (abstract data type); Security policy; Field (mathematics); Distributed computing; Control (management); Computer security; Programming language; Artificial intelligence; Law","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.001976781,0.0008453022,0.0008143939,0.0007265322,0.0008357232,0.002658525,0.001505746,0.0008390149,0.01123697],"category_scores_gemma":[0.005867062,0.0007432604,0.000940248,0.0007201449,0.002224395,0.002938314,0.00301286,0.002991028,0.002369597],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007523434,"about_ca_system_score_gemma":0.001116543,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001041491,"about_ca_topic_score_gemma":0.001444297,"domain_scores_codex":[0.9969752,0.0005919212,0.0001769605,0.0004614153,0.001423637,0.0003708085],"domain_scores_gemma":[0.9964038,0.0009781291,0.0001776888,0.002044937,0.0003147734,0.00008067983],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.000462667,0.0001609666,0.0006093417,0.0004309455,0.00006682612,0.0003175939,0.0004543665,0.03579989,0.01399629,0.6026285,0.01635355,0.3287191],"study_design_scores_gemma":[0.0001396473,0.0001133989,0.0004298223,0.0002183185,0.0001138767,0.0003332722,0.00009043184,0.3561202,0.05239387,0.5066395,0.08332607,0.00008151943],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01662487,0.0006274949,0.910464,0.0004990787,0.0003600686,0.0001014536,0.0002023984,0.01489668,0.05622383],"genre_scores_gemma":[0.6391434,0.0006749411,0.2996397,0.0004281185,0.0002948885,0.0002025547,0.0009108265,0.004061623,0.05464401],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01123697,"threshold_uncertainty_score":0.0375914,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01338920672368437,"score_gpt":0.2319555595913657,"score_spread":0.2185663528676813,"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."}}