{"id":"W4238413752","doi":"10.1109/sefm.2004.1347541","title":"Verification of the WAP transaction layer","year":2004,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Protocol (science); Model checking; Deadlock; Wireless Application Protocol; Database transaction; Layer (electronics); Set (abstract data type); Computer network; Distributed transaction; Distributed computing; Transaction processing; Wireless; Database; Operating system; Programming language; Wireless network","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.0002194717,0.00003630502,0.00003810944,0.00002274738,0.00004494827,0.00001398905,0.0004300096,0.00002869373,0.000008650245],"category_scores_gemma":[0.00002007051,0.0000240363,0.00003378593,0.0002685094,0.00002672665,0.0003157742,0.0000153143,0.00004642651,0.00001778889],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003260439,"about_ca_system_score_gemma":0.0000300566,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003087141,"about_ca_topic_score_gemma":0.000002657711,"domain_scores_codex":[0.9995395,0.00003434665,0.0001194749,0.0001041177,0.0001415624,0.00006101999],"domain_scores_gemma":[0.9994258,0.000007957101,0.00005792033,0.0004521017,0.0000433494,0.00001284022],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000002512534,0.00003936448,0.00005273119,0.000006823398,0.000003081284,3.738421e-8,0.0005846433,0.001403589,0.06916856,0.8849875,0.00001630295,0.04373483],"study_design_scores_gemma":[0.0001617344,0.00002461485,0.0223736,0.000006879528,0.000002717823,0.000003950953,0.00002166029,0.009009941,0.9541261,0.0128686,0.001345267,0.00005490497],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02369987,0.000008182651,0.9704222,0.0007547706,0.0003119551,0.00008693193,1.929391e-7,0.00005126622,0.004664625],"genre_scores_gemma":[0.6600144,0.000002734512,0.339824,0.00006353622,0.000006972191,0.000004187537,1.106315e-7,0.000001463706,0.00008259776],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8849576,"threshold_uncertainty_score":0.09801717,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03307837744394473,"score_gpt":0.2788427173201491,"score_spread":0.2457643398762044,"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."}}