{"id":"W2092733256","doi":"10.5555/1400549.1400613","title":"A formal framework for stochastic DEVS modeling and simulation","year":2008,"lang":"en","type":"article","venue":"Spring Simulation Multiconference","topic":"Simulation Techniques and Applications","field":"Decision Sciences","cited_by":9,"is_retracted":false,"has_abstract":true,"ca_institutions":"Carleton University","funders":"","keywords":"DEVS; Computer science; Formalism (music); Discrete event simulation; Formal specification; Extension (predicate logic); Theoretical computer science; Formal methods; Stochastic process; Formal verification; Modeling and simulation; Distributed computing; Programming language; Mathematics; Simulation","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.006019087,0.001031735,0.0009110286,0.001236533,0.0008721178,0.002942996,0.002644446,0.001374875,0.004601397],"category_scores_gemma":[0.007930513,0.0007413427,0.002141907,0.001220546,0.002541087,0.002991409,0.002532939,0.003392447,0.0009516408],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001631164,"about_ca_system_score_gemma":0.003131374,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003486677,"about_ca_topic_score_gemma":0.002387088,"domain_scores_codex":[0.9964141,0.00143286,0.0003894279,0.0003906051,0.001103134,0.0002698249],"domain_scores_gemma":[0.9951934,0.00291019,0.0003428442,0.0006847176,0.0006576765,0.0002111154],"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.000008283799,0.00001478467,0.0001297205,0.00004790559,0.00001364686,0.00008105278,0.00008277265,0.04392613,0.0004152172,0.9470034,0.0007941761,0.007482933],"study_design_scores_gemma":[0.00003315165,0.00004159881,0.00008058445,0.00008255731,0.00002717434,0.0001531822,0.0000431228,0.328465,0.001274002,0.6301749,0.039593,0.00003164203],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0005213403,0.0001196893,0.99687,0.0002004201,0.00004096799,0.00003540584,0.00009121622,0.0001942173,0.00192676],"genre_scores_gemma":[0.1116911,0.0009767497,0.8808035,0.0003025321,0.0002769052,0.0006803449,0.0006114313,0.0002103684,0.004446979],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.006019087,"threshold_uncertainty_score":0.03183234,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.267663177093265,"score_gpt":0.4520412898721667,"score_spread":0.1843781127789017,"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."}}