{"id":"W1531515217","doi":"10.1007/978-3-540-31810-1_8","title":"Early Validation of Deployment and Scheduling Constraints for MSC Specifications","year":2005,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Embedded Systems Design Techniques","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Software deployment; Scheduling (production processes); Software requirements specification; Abstraction; Functional requirement; Functional specification; System requirements specification; Distributed computing; Requirements analysis; Non-functional requirement; Software engineering; Real-time computing; Programming language; Software development; Software; Software design; Mathematical optimization; Software construction","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.001039507,0.0003029645,0.0004048606,0.0006476631,0.0001347692,0.000268608,0.001457801,0.0002267264,0.00000705005],"category_scores_gemma":[0.00008487252,0.0003003491,0.00008188594,0.0002697801,0.0006893977,0.0004734453,0.000377357,0.0002768099,0.000004054789],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001762665,"about_ca_system_score_gemma":0.0002889274,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000749387,"about_ca_topic_score_gemma":0.000006743865,"domain_scores_codex":[0.9975145,0.00002921584,0.0006152595,0.0009650838,0.0005463233,0.0003296462],"domain_scores_gemma":[0.9977131,0.0005226696,0.0004246086,0.0008961933,0.0003449341,0.00009852608],"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.00000527458,0.00003861033,0.0001068633,0.0001214145,0.00002114362,0.000005810502,0.001511458,0.00513968,0.005778166,0.2119417,0.00001675154,0.7753131],"study_design_scores_gemma":[0.0007199814,0.0006061455,0.0002725577,0.001757107,0.00003260936,0.0001208761,9.34906e-7,0.3854326,0.209069,0.3994626,0.00117613,0.001349477],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0004874608,0.0003302189,0.9966257,0.0003177295,0.0003569684,0.0008943006,0.000009191498,0.0001534352,0.0008250545],"genre_scores_gemma":[0.3032779,0.00002810472,0.6963331,0.00009246687,0.0001669438,0.00002320791,0.000002309955,0.00001762084,0.00005843177],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7739636,"threshold_uncertainty_score":0.9999449,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04784772861771541,"score_gpt":0.2779854075615198,"score_spread":0.2301376789438044,"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."}}