{"id":"W2106767395","doi":"10.1109/icdcsw.2010.31","title":"Temporal Reasoning about Resources for Deadline Assurance in Distributed Systems","year":2010,"lang":"en","type":"article","venue":"","topic":"Logic, Reasoning, and Knowledge","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Saskatchewan","funders":"","keywords":"Computer science; Scalability; Distributed computing; Computation; Syntax; Resource (disambiguation); Semantics (computer science); Key (lock); Theoretical computer science; Programming language; Database; Computer security; Computer network; Artificial intelligence","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.0007495001,0.0001640242,0.0002576884,0.00008369815,0.0001357612,0.0002882039,0.0008378219,0.0001266016,0.000008353216],"category_scores_gemma":[0.0004402029,0.0001281169,0.00007002688,0.0003800264,0.0000467273,0.0003213077,0.0001304669,0.0002200261,0.00002487718],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002867685,"about_ca_system_score_gemma":0.00007233197,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003598253,"about_ca_topic_score_gemma":0.001455089,"domain_scores_codex":[0.9985984,0.00005104127,0.0003164941,0.0004374897,0.0001731693,0.0004234386],"domain_scores_gemma":[0.9988449,0.0002812902,0.0001232684,0.0004921762,0.0001409704,0.0001174189],"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.00005884621,0.0003224233,0.2571458,0.0002146391,0.00003731426,0.00005205109,0.002152668,0.0005742453,0.002851594,0.7118663,0.01435928,0.01036489],"study_design_scores_gemma":[0.002080771,0.0001817373,0.1129697,0.0002062763,0.000009193128,0.00006888319,0.0001637636,0.6607401,0.0009700012,0.002545233,0.2192924,0.0007719197],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2332489,0.0004752606,0.7526242,0.0003713721,0.001376689,0.0004714757,0.00001878553,0.0003754819,0.01103784],"genre_scores_gemma":[0.9711865,0.00000422507,0.02689487,0.00004476032,0.0002461969,0.00007145257,0.00001415454,0.00001027264,0.001527579],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7379376,"threshold_uncertainty_score":0.5224454,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01116130329599736,"score_gpt":0.2480832108003184,"score_spread":0.236921907504321,"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."}}