{"id":"W2160517518","doi":"10.1109/iceccs.2000.873924","title":"Managing complexity in real-time reactive systems","year":2002,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Process (computing); Work (physics); Engineering; Programming language","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.007471462,0.0009498101,0.0009078438,0.001635498,0.001861816,0.004402913,0.001965752,0.001682262,0.001402314],"category_scores_gemma":[0.03397233,0.0007710896,0.001378722,0.001113106,0.006543749,0.0107851,0.004769241,0.003206927,0.0002524988],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002397033,"about_ca_system_score_gemma":0.002103888,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001751545,"about_ca_topic_score_gemma":0.001948212,"domain_scores_codex":[0.9890721,0.003981274,0.0007108747,0.0008822276,0.004704137,0.0006494901],"domain_scores_gemma":[0.9612553,0.02655447,0.003730151,0.004386947,0.003064024,0.001009074],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001130793,0.00008989785,0.001618546,0.0003043721,0.00006542254,0.0003331945,0.002364103,0.1774229,0.01051281,0.7499717,0.000858864,0.05634503],"study_design_scores_gemma":[0.00003675324,0.0001091295,0.0007001226,0.000071011,0.00004342783,0.0001853345,0.0003676161,0.3653719,0.007789349,0.6161389,0.009087589,0.00009887357],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02968055,0.0003870532,0.9646392,0.001000174,0.00004370672,0.0000713197,0.00001652697,0.0003317105,0.003829708],"genre_scores_gemma":[0.6872249,0.0008132428,0.3079844,0.0002218118,0.0002081022,0.0003400971,0.00008224367,0.0002196252,0.002905665],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.007471462,"threshold_uncertainty_score":0.03951329,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1204145691763786,"score_gpt":0.3150107844862303,"score_spread":0.1945962153098516,"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."}}