{"id":"W2042108786","doi":"10.1145/1028976.1029010","title":"Pluggable verification modules","year":2004,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Regina","funders":"","keywords":"Bytecode; Computer science; Modular design; Extensibility; Operating system; Programming language; Java; Embedded system","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.0001197113,0.00004780636,0.00004361644,0.00003997797,0.0001159184,0.0001107649,0.0004644635,0.00002701069,0.00001857481],"category_scores_gemma":[0.00001681982,0.00004620375,0.00002151303,0.0002299149,0.00001505358,0.0003464441,0.0000580749,0.00004594145,0.0002733117],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003623695,"about_ca_system_score_gemma":0.00003292672,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00004007389,"about_ca_topic_score_gemma":0.000002079648,"domain_scores_codex":[0.999458,0.00001029253,0.000106461,0.0001990195,0.0001130083,0.0001132122],"domain_scores_gemma":[0.9994791,0.00001776635,0.00003258109,0.0003905247,0.0000429678,0.00003702066],"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":[3.206974e-7,0.000024226,0.00002314912,0.000002003243,0.000001562853,4.479084e-7,0.0002997579,0.001836331,0.0006882562,0.9888228,0.0001968843,0.008104324],"study_design_scores_gemma":[0.001236394,0.00009952664,0.0137198,0.0000386608,0.000004501552,0.00004822354,0.0001938698,0.307495,0.1383877,0.4673512,0.0707577,0.0006674178],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01448656,0.00003802794,0.969119,0.001706184,0.0002150969,0.00004665521,1.349417e-7,0.0003220953,0.01406626],"genre_scores_gemma":[0.8038504,0.000005346568,0.195651,0.0003186656,0.00003844549,0.000004363357,0.000001046685,0.000002094785,0.0001286472],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7893638,"threshold_uncertainty_score":0.3512959,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01995300430619532,"score_gpt":0.2410934239810386,"score_spread":0.2211404196748433,"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."}}