{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008966341,0.0007924353,0.0003622114,0.0005724576,0.0007027458,0.001491642,0.001563032,0.001005011,0.002099916],"category_scores_gemma":[0.02715289,0.0005992682,0.000902746,0.0002600104,0.002288184,0.001782907,0.001552905,0.001329323,0.0004591995],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001194749,"about_ca_system_score_gemma":0.002670227,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002182266,"about_ca_topic_score_gemma":0.002273762,"domain_scores_codex":[0.9906217,0.005337493,0.0004420886,0.0004243552,0.002714313,0.0004600867],"domain_scores_gemma":[0.9815125,0.01279748,0.0007697457,0.002481899,0.002171087,0.0002672379],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0006509221,0.0006955124,0.003666594,0.001951411,0.0001223386,0.003669045,0.01257266,0.2374208,0.2250686,0.2322402,0.00501337,0.2769286],"study_design_scores_gemma":[0.0004394289,0.001704278,0.002484782,0.0006486851,0.0001608286,0.002200375,0.001846313,0.5443639,0.3167003,0.05835631,0.07085197,0.0002428066],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.1361231,0.000173534,0.85642,0.000526774,0.00007976379,0.0005780691,0.0001239463,0.001472208,0.004502537],"genre_scores_gemma":[0.4810231,0.0002804822,0.5143014,0.000131147,0.00002209473,0.0005392348,0.0003071599,0.0004084547,0.002986913],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008966341,"threshold_uncertainty_score":0.04741913,"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."}}