{"id":"W2745277239","doi":"10.1109/qrs.2017.32","title":"Intersert: Assertions on Distributed Process Interaction Sessions","year":2017,"lang":"en","type":"article","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Toolchain; Computer science; Thread (computing); Distributed computing; Control flow; Overhead (engineering); Process (computing); Process calculus; Implementation; Programming language; Software","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.0001154827,0.00007556071,0.00006704162,0.00005048605,0.0009403523,0.0006056985,0.00104574,0.00003826673,0.00004352832],"category_scores_gemma":[0.0002068787,0.00006430184,0.000039537,0.00008304695,0.00002749975,0.0008604101,0.0001576936,0.0001489426,0.000146697],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003569508,"about_ca_system_score_gemma":0.00003361591,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00002326144,"about_ca_topic_score_gemma":0.00001261121,"domain_scores_codex":[0.9993224,0.00002405138,0.0001399723,0.0002526624,0.0001307042,0.0001301999],"domain_scores_gemma":[0.9988263,0.00007237955,0.0001388321,0.0008001665,0.0001002022,0.00006214741],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002678415,0.0007059188,0.005571901,0.00003327248,0.00004723116,0.00001184441,0.002882062,0.001216864,0.0011591,0.9049428,0.01107528,0.07232697],"study_design_scores_gemma":[0.000544993,0.0001472719,0.06834538,0.0002561388,0.000008412489,0.0000287455,0.0007965624,0.8747526,0.02215403,0.01399955,0.01849225,0.0004740849],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.07084364,0.000001777637,0.8992704,0.00639835,0.001134515,0.0000874185,0.000002415526,0.0002876295,0.02197386],"genre_scores_gemma":[0.9969113,0.000001265505,0.00253938,0.0002739933,0.00006143538,0.00001252218,0.00000612729,0.000003159846,0.0001907826],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9260677,"threshold_uncertainty_score":0.7232524,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.05962246823097484,"score_gpt":0.3769821108237323,"score_spread":0.3173596425927575,"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."}}