{"id":"W2053161063","doi":"10.1109/have.2007.4371593","title":"A Formal Approach to RT-RTI Design Using Real Time DEVS","year":2007,"lang":"en","type":"article","venue":"","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"DEVS; Computer science; High-level architecture; Formalism (music); Discrete event simulation; Key (lock); Distributed computing; Thread (computing); Architecture; Formal verification; Modeling and simulation; Theoretical computer science; Simulation; Programming language; Operating system; Interoperability","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.003241967,0.00008271317,0.0001244504,0.000224013,0.0001857923,0.0001334903,0.0004034906,0.00006316555,0.0003859738],"category_scores_gemma":[0.0002079206,0.00005984002,0.00005449492,0.0009549865,0.0000249114,0.000269366,0.000102381,0.0000480099,0.00061476],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000396839,"about_ca_system_score_gemma":0.0000382124,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00006458699,"about_ca_topic_score_gemma":0.000002439391,"domain_scores_codex":[0.9983842,0.00003161942,0.0004449805,0.0002865646,0.0005850674,0.0002675141],"domain_scores_gemma":[0.9986769,0.0004915592,0.00007659283,0.000414083,0.0001909692,0.0001499128],"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.000242432,0.0005979378,0.003239339,0.000004095043,0.00002590289,0.000004357661,0.002060453,0.05095475,0.08597584,0.2330132,0.08995459,0.5339271],"study_design_scores_gemma":[0.0004295096,0.000131986,0.01025154,0.000006110609,0.00001501167,0.00002755884,0.0007909418,0.8552969,0.04488102,0.04225517,0.04537053,0.0005437879],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04600001,0.000001372361,0.8116769,0.00006747788,0.0000130773,0.0003222066,0.000001310849,0.0001331318,0.1417846],"genre_scores_gemma":[0.5198076,2.247971e-7,0.4758041,0.000253511,0.00004159881,0.000008454592,0.000001167461,0.000006069185,0.004077346],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8043421,"threshold_uncertainty_score":0.7901701,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.3421804188291606,"score_gpt":0.4683619371045392,"score_spread":0.1261815182753786,"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."}}