{"id":"W3046145138","doi":"10.1007/978-981-15-5054-6_10","title":"Configuration of Complex Systems—Maintaining Consistency at Runtime","year":2020,"lang":"en","type":"book-chapter","venue":"","topic":"Model-Driven Software Engineering Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Ericsson (Canada); Concordia University","funders":"","keywords":"Consistency (knowledge bases); Computer science; Control reconfiguration; Set (abstract data type); Distributed computing; Task (project management); Configuration Management (ITSM); Middleware (distributed applications); Runtime verification; Theoretical computer science; Programming language; Embedded system; Formal verification; Systems engineering; Engineering; Artificial intelligence","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.001080188,0.0007815307,0.0007688444,0.0006298114,0.0006798655,0.003473634,0.003120114,0.001178557,0.008461431],"category_scores_gemma":[0.004966763,0.001187165,0.0004650672,0.001439582,0.001419777,0.004430693,0.00193277,0.002420291,0.002894611],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0006474572,"about_ca_system_score_gemma":0.000853164,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001039761,"about_ca_topic_score_gemma":0.001250882,"domain_scores_codex":[0.9992367,0.0001648242,0.00004652504,0.0001479432,0.0003482905,0.00005566025],"domain_scores_gemma":[0.997588,0.0009456166,0.00009806626,0.001112386,0.0001825547,0.00007328262],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001167182,0.0001116056,0.0008358066,0.0005415859,0.00005724009,0.0002969611,0.0005825771,0.06923788,0.01822558,0.277891,0.02594636,0.6061566],"study_design_scores_gemma":[0.00006692886,0.0001148474,0.0009287687,0.0003435634,0.0000681071,0.0008305283,0.0002173211,0.3459939,0.02767163,0.4508132,0.1728659,0.00008530065],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.008887571,0.002199528,0.9479177,0.0005608817,0.0003688963,0.00007484634,0.000101926,0.004168654,0.03572002],"genre_scores_gemma":[0.2238766,0.004907769,0.7279161,0.0003803234,0.0003320813,0.0002082049,0.0007488372,0.00420802,0.03742209],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008461431,"threshold_uncertainty_score":0.02830637,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03912697695679344,"score_gpt":0.2319231270504703,"score_spread":0.1927961500936769,"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."}}