{"id":"W1652322318","doi":"10.1007/978-3-642-01187-0_22","title":"Verification of Information Flow in Agent-Based Systems","year":2009,"lang":"en","type":"book-chapter","venue":"Lecture notes in business information processing","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":17,"is_retracted":false,"has_abstract":false,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Information flow; Atomicity; Theoretical computer science; Granularity; Satisfiability; Information system; Information exchange; Programming language; Database transaction","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0005996409,0.0003332507,0.0004235159,0.001457011,0.0001074797,0.0005183353,0.0007333163,0.0005064493,0.00000819545],"category_scores_gemma":[0.0003185155,0.0003541592,0.00005691847,0.0008988737,0.00005417466,0.004789642,0.00006541786,0.0004430937,0.00002930481],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0003049957,"about_ca_system_score_gemma":0.0005307712,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003392985,"about_ca_topic_score_gemma":0.000008992812,"domain_scores_codex":[0.9973564,0.00003201397,0.001545878,0.0002258383,0.000591627,0.0002483073],"domain_scores_gemma":[0.9969282,0.0001254557,0.00151588,0.0005205679,0.0008708328,0.00003909186],"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.00001733223,0.00001560742,0.00002703542,0.001148378,0.000003164212,7.227516e-7,0.001704264,0.3115616,0.000005496951,0.01432635,0.00001028122,0.6711797],"study_design_scores_gemma":[0.0005986273,0.00001962698,0.0008766224,0.002210425,0.000008055644,0.000006441685,0.00001430983,0.9678265,0.0003047941,0.00520509,0.02247943,0.0004500781],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.00005558917,0.0004272673,0.9868854,0.0004526598,0.0004866875,0.0004742657,0.000009063566,0.0001391085,0.01106992],"genre_scores_gemma":[0.9201361,0.0001222276,0.07718631,0.001313322,0.0001585384,0.00005473702,0.0009293908,0.00002813367,0.00007126843],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9200805,"threshold_uncertainty_score":0.999891,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01594748066782902,"score_gpt":0.2299055526597648,"score_spread":0.2139580719919358,"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."}}