{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01771692,0.001954865,0.0011401,0.002108686,0.001294597,0.004877269,0.004116004,0.002871548,0.01572595],"category_scores_gemma":[0.1316172,0.001787289,0.002773723,0.000973012,0.002538976,0.008000133,0.005051704,0.00525297,0.003205684],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002850147,"about_ca_system_score_gemma":0.007203933,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006789974,"about_ca_topic_score_gemma":0.01015565,"domain_scores_codex":[0.9702188,0.01013277,0.002002392,0.001698091,0.0128873,0.003060616],"domain_scores_gemma":[0.7897446,0.1369171,0.007169789,0.03436959,0.03035327,0.001445731],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.003835576,0.001181046,0.0139616,0.002164046,0.0004350563,0.00220382,0.0028223,0.2324443,0.09999194,0.3558459,0.03323036,0.2518841],"study_design_scores_gemma":[0.000362848,0.0005068575,0.001550431,0.0005412988,0.0002205628,0.0003777294,0.0005464586,0.7213231,0.1540991,0.0868162,0.03351643,0.0001389449],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.06512845,0.0002734126,0.9084533,0.001356756,0.0005166995,0.0006496619,0.00137026,0.01008612,0.01216536],"genre_scores_gemma":[0.5837992,0.0002985892,0.3973922,0.001012537,0.0002372243,0.0005791226,0.00376673,0.00477272,0.008141587],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01771692,"threshold_uncertainty_score":0.09369713,"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."}}