{"id":"W1982990420","doi":"10.1109/ictai.2010.29","title":"A Technique and a Tool to Detect Emergent Behavior of Distributed Systems Using Scenario-Based Specifications","year":2010,"lang":"en","type":"article","venue":"","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":20,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Computer science; Distributed computing; Task (project management); Robotics; Artificial intelligence; Sequence (biology); Software; Software engineering; Systems engineering; Robot; 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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0003384963,0.00009893547,0.0001473203,0.0001161972,0.00005119719,0.00003484699,0.0003400621,0.00005758395,0.000003350857],"category_scores_gemma":[0.000442096,0.00008988227,0.00002699086,0.0003846145,0.00003218195,0.0001080977,0.0001209266,0.0001154483,9.603609e-7],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002770988,"about_ca_system_score_gemma":0.00004198548,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003995039,"about_ca_topic_score_gemma":0.000006670645,"domain_scores_codex":[0.9992392,0.0000358937,0.0002169532,0.0002368839,0.0001179274,0.0001531157],"domain_scores_gemma":[0.9990474,0.0001738986,0.0000580048,0.0005511644,0.0001043057,0.00006522766],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"bench_or_experimental","study_design_gemma":"bench_or_experimental","study_design_scores_codex":[0.000002839251,0.00002733399,0.0004846893,0.00002810928,0.000004161125,0.000003636095,0.00004094562,0.04422277,0.9449114,0.004547471,0.00002085316,0.005705762],"study_design_scores_gemma":[0.0003447771,0.0001998687,0.01634188,0.00008904406,0.00003114443,0.00008106595,0.00004047964,0.11616,0.8633801,0.001056154,0.001552348,0.000723166],"study_design_candidate":"bench_or_experimental","study_design_consensus":"bench_or_experimental","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.07782492,0.00001682678,0.921059,0.00004047072,0.0002515487,0.0004812778,0.00001225073,0.0003098413,0.000003916038],"genre_scores_gemma":[0.3598396,5.701394e-7,0.6400385,0.000004598404,0.000008743385,0.00009686084,8.514797e-7,0.000005016025,0.000005311206],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.2820147,"threshold_uncertainty_score":0.3665292,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.07729320445867371,"score_gpt":0.3160209360317914,"score_spread":0.2387277315731177,"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."}}