{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.00703824,0.0009177681,0.001277058,0.001493218,0.001307853,0.004319638,0.002518011,0.002172609,0.003499753],"category_scores_gemma":[0.02996486,0.001128372,0.002305602,0.0008156099,0.003990278,0.007190836,0.002936903,0.002981224,0.0007183648],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001872967,"about_ca_system_score_gemma":0.002842315,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003246376,"about_ca_topic_score_gemma":0.001553702,"domain_scores_codex":[0.9906989,0.003317509,0.0007568498,0.001152,0.003204935,0.0008697752],"domain_scores_gemma":[0.9681407,0.02334963,0.00133999,0.003989888,0.002832828,0.0003469937],"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.001306923,0.0003089106,0.003790205,0.000967813,0.0002216697,0.0008844562,0.0012971,0.1722925,0.01874081,0.6464341,0.00451345,0.1492421],"study_design_scores_gemma":[0.0001581846,0.0001363509,0.0005915762,0.0001677428,0.00009323184,0.000170464,0.00009672913,0.5764581,0.03254526,0.3842187,0.005308311,0.00005547889],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.03994554,0.000300367,0.9513488,0.0006070822,0.0001366568,0.000224193,0.000231054,0.002345828,0.004860603],"genre_scores_gemma":[0.7772061,0.0004282238,0.2168739,0.0002666589,0.0001459594,0.0002770379,0.0005306621,0.0003354251,0.003936176],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.00703824,"threshold_uncertainty_score":0.03722221,"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."}}