{"id":"W1839110752","doi":"10.1109/dcfts.1999.814292","title":"Prototyping and formal requirement validation of GPRS: a mobile data packet radio service for GSM","year":2003,"lang":"en","type":"article","venue":"","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":6,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"General Packet Radio Service; GPRS core network; Computer science; GSM; Access Point Name; Packet radio; Network packet; Computer network; Formal specification; Embedded system; Service (business); Software engineering; Telecommunications; Wireless","routes":{"ca_aff":true,"ca_fund":true,"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.001503291,0.00009759147,0.0001543007,0.00006697856,0.00006002255,0.00007664765,0.0006591454,0.00004907859,0.000005472836],"category_scores_gemma":[0.00005101865,0.00008556008,0.00001756252,0.0001954541,0.00001323488,0.001544535,0.0002317066,0.00003532761,0.000001462968],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002621941,"about_ca_system_score_gemma":0.00006140055,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003146736,"about_ca_topic_score_gemma":0.000008738242,"domain_scores_codex":[0.9988825,0.00008507467,0.0003222562,0.0003358219,0.0001772101,0.0001970825],"domain_scores_gemma":[0.9986159,0.00007362234,0.0001443306,0.0009789658,0.0001440255,0.00004311447],"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.00008518876,0.0005009467,0.001732705,0.004048208,0.0001924276,0.00000485589,0.008799162,0.00008464939,0.1250295,0.7488161,0.01548535,0.09522084],"study_design_scores_gemma":[0.0009605594,0.0006340788,0.00004575824,0.0002284535,0.0000187868,0.00004515825,0.0002583429,0.09216677,0.8720362,0.01056387,0.02265666,0.0003853704],"study_design_candidate":"bench_or_experimental","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007299319,0.0000949091,0.9881785,0.00007532539,0.00005316372,0.002870826,0.000007908331,0.0001700257,0.001250058],"genre_scores_gemma":[0.4252922,0.000009859844,0.5737272,0.0001169628,0.0000206412,0.0007308342,0.00001625554,0.00001045383,0.00007565929],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7470067,"threshold_uncertainty_score":0.3489039,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.08151421409404905,"score_gpt":0.3228507692355314,"score_spread":0.2413365551414824,"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."}}