{"id":"W1514570516","doi":"10.1109/sefm.2004.51","title":"Verification of the WAP transaction layer","year":2004,"lang":"en","type":"article","venue":"Software Engineering and Formal Methods","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"McMaster University","funders":"","keywords":"Computer science; Protocol (science); Model checking; Wireless Application Protocol; Database transaction; Deadlock; Layer (electronics); Distributed transaction; Distributed computing; Computer network; Set (abstract data type); Transaction processing; Application layer; Wireless; Database; Operating system; Programming language; Wireless network; 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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.007394332,0.0007910214,0.0007209195,0.0008771687,0.001289055,0.003552055,0.002401557,0.001656734,0.001639017],"category_scores_gemma":[0.0274681,0.001080219,0.001506734,0.0004976506,0.00466809,0.004616058,0.002418468,0.003408755,0.0004739964],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001580838,"about_ca_system_score_gemma":0.005912736,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.005097743,"about_ca_topic_score_gemma":0.002946764,"domain_scores_codex":[0.9872754,0.003292118,0.0009227475,0.00102899,0.006699704,0.0007811267],"domain_scores_gemma":[0.980172,0.007929967,0.001609789,0.006490144,0.003553853,0.0002442279],"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.0004724302,0.0002688472,0.006189695,0.0007978554,0.0002540026,0.001809586,0.001671077,0.2486885,0.09004997,0.5462434,0.003156999,0.1003974],"study_design_scores_gemma":[0.0001481208,0.0002959686,0.0006805282,0.0001704096,0.0001485177,0.0005511401,0.000216288,0.7468139,0.1166749,0.1195203,0.01468309,0.00009683279],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.0394098,0.0001253063,0.9547726,0.0003521539,0.0001090303,0.0002051564,0.0001109079,0.002628051,0.00228712],"genre_scores_gemma":[0.6890726,0.000320904,0.3062282,0.0002252574,0.00006726725,0.0004328233,0.0003650383,0.0004802679,0.002807587],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007394332,"threshold_uncertainty_score":0.03910542,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02037612255444688,"score_gpt":0.2889542116434468,"score_spread":0.2685780890889999,"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."}}