{"id":"W7096455778","doi":"","title":"Relational Specification of Interface Modules for Real-time Systems By","year":2006,"lang":"en","type":"article","venue":"","topic":"Real-Time Systems Scheduling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"","funders":"","keywords":"Interface (matter); Constant (computer programming); Relational database; Natural (archaeology); Relation (database); User interface","routes":{"ca_aff":false,"ca_fund":false,"ca_venue":false,"about_ca":true,"invisible_to_affiliation_only":true},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006306729,0.00009989295,0.0001737688,0.00009064865,0.00004796484,0.00007823009,0.0003857011,0.00007191191,0.00000998711],"category_scores_gemma":[0.00002259757,0.00009116739,0.00005428141,0.000187352,0.00002454207,0.000434259,0.00004728693,0.00003590704,0.00007414505],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00006256147,"about_ca_system_score_gemma":0.00002506843,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005425398,"about_ca_topic_score_gemma":0.000003313792,"domain_scores_codex":[0.9986982,0.00004337024,0.0005189867,0.0002959142,0.0002739166,0.0001695589],"domain_scores_gemma":[0.9988527,0.0002370275,0.0002569274,0.0004111587,0.0002071397,0.00003502557],"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.000009447995,0.00006295422,0.0003046912,0.0000629791,0.0000161541,2.441972e-7,0.00008238493,0.01024153,0.3066825,0.6550497,0.02680313,0.0006843373],"study_design_scores_gemma":[0.0004113257,0.00007039064,0.002334892,0.00007056465,0.000005896027,0.00001200661,0.00005384572,0.9184602,0.07083809,0.002523322,0.00498105,0.0002383972],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.02072753,0.0001277984,0.9529995,0.0001352841,0.0002095964,0.0003843029,0.000008498015,0.0001316481,0.02527579],"genre_scores_gemma":[0.8029967,0.000002383057,0.1890426,0.000002661958,0.0001108762,0.00002301692,0.00002426344,0.00001081367,0.007786717],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9082187,"threshold_uncertainty_score":0.3717698,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01990842462485643,"score_gpt":0.2373846936157143,"score_spread":0.2174762689908578,"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."}}