{"id":"W1973518623","doi":"10.1023/b:ause.0000017742.47984.6c","title":"Verifying Service Continuity in a Dynamic Reconfiguration Procedure: Application to a Satellite System","year":2004,"lang":"en","type":"article","venue":"Automated Software Engineering","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Control reconfiguration; Computer science; Unified Modeling Language; Software; Payload (computing); Embedded system; Distributed computing; Programming language; Network packet; Computer network","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":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0004726523,0.0003068286,0.0003375286,0.000383466,0.00006485476,0.0001114778,0.0006572424,0.0001639499,2.790543e-7],"category_scores_gemma":[0.0008865898,0.0003547286,0.00004420558,0.001815242,0.000006796375,0.0006683232,0.000145671,0.0002676249,0.0000601734],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0008378865,"about_ca_system_score_gemma":0.00008588636,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00005261223,"about_ca_topic_score_gemma":0.00005430639,"domain_scores_codex":[0.9981393,0.00003850896,0.0004599968,0.0006152969,0.0002378918,0.0005090217],"domain_scores_gemma":[0.9987642,0.0002740286,0.00009905869,0.000607587,0.0001249804,0.0001302078],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00000472668,0.00001456708,0.0001153558,0.0003318265,0.00001018346,0.00002018254,0.001160257,0.9766078,0.008540314,0.001870141,0.00000105609,0.01132359],"study_design_scores_gemma":[0.0009349088,0.00007359016,0.04033934,0.001079675,0.00001063814,0.0001381042,0.0001205606,0.9475591,0.007992744,0.000443535,0.0003130242,0.0009947781],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06204483,0.0001781435,0.9234348,0.0001255598,0.0003682794,0.0006140524,0.000003004084,0.01322251,0.000008813224],"genre_scores_gemma":[0.5237024,0.000006789909,0.4759876,0.00005492391,0.00001455592,0.0001926614,0.000007832388,0.00003091677,0.00000219298],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.4616576,"threshold_uncertainty_score":0.9998904,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00948485757950351,"score_gpt":0.2531919913532006,"score_spread":0.2437071337736971,"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."}}