{"id":"W2122660326","doi":"10.1109/infcom.1993.253294","title":"Modeling and formal specification of the personal communication service","year":2002,"lang":"en","type":"article","venue":"","topic":"Advanced Database Systems and Queries","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Montréal","funders":"","keywords":"Executable; Computer science; Formal specification; Language Of Temporal Ordering Specification; Specification language; Programming language; Formalism (music); Programming language specification; Formal methods; Software engineering; System requirements specification; Refinement; Algebraic specification","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.0001176763,0.00002865074,0.00003457229,0.00001219494,0.00009417636,0.000009333316,0.0001736415,0.0000111845,0.000007812342],"category_scores_gemma":[0.000004678061,0.00001867299,0.000009197472,0.0001076556,0.00001510351,0.0005539036,0.0001630556,0.0000324088,0.000002724242],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000048749,"about_ca_system_score_gemma":0.00000254096,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00007467429,"about_ca_topic_score_gemma":0.00007473344,"domain_scores_codex":[0.9996904,0.00001461563,0.00009463536,0.00006355475,0.00008233287,0.00005448908],"domain_scores_gemma":[0.9995778,0.00001608513,0.00003305473,0.000306799,0.00005423549,0.00001208644],"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.000001671546,0.00001918844,0.0002277485,0.00002691276,0.000003595417,5.905018e-8,0.004930285,0.0008168268,0.001309066,0.9677154,0.00008380378,0.0248654],"study_design_scores_gemma":[0.00005129951,0.000002984627,0.0003625288,0.00001094738,6.173404e-7,0.00000443379,0.0002823266,0.9971334,0.0004341531,0.0001782893,0.001511303,0.00002767141],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04528732,0.0002202132,0.9509291,0.0009123537,0.00002298928,0.00004995634,0.000001392446,0.00001651699,0.002560131],"genre_scores_gemma":[0.926042,0.00003623057,0.07369491,0.0001229722,0.000007329219,0.000001481811,7.969261e-7,0.000001201955,0.0000930341],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9963166,"threshold_uncertainty_score":0.07614626,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04170833148359831,"score_gpt":0.2273356394793618,"score_spread":0.1856273079957634,"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."}}