{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.008208198,0.001197755,0.001028657,0.002543704,0.001971487,0.005557423,0.002656308,0.001843377,0.00334751],"category_scores_gemma":[0.02693437,0.0009432494,0.002207911,0.002461085,0.004326325,0.01227188,0.003448759,0.003451856,0.0005361895],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004257691,"about_ca_system_score_gemma":0.00315186,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01177423,"about_ca_topic_score_gemma":0.008982096,"domain_scores_codex":[0.9936052,0.00261962,0.0007111083,0.0008738468,0.001644069,0.0005461204],"domain_scores_gemma":[0.9843649,0.01200233,0.001154218,0.0009921112,0.001088348,0.0003981168],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0002997657,0.00007404122,0.0009159049,0.0003106689,0.00008633846,0.0006850156,0.0008156424,0.1356679,0.002290932,0.8259038,0.003016549,0.02993342],"study_design_scores_gemma":[0.00007350615,0.00003197134,0.00009917279,0.00007453421,0.00005837873,0.0001261031,0.0001708121,0.3904189,0.002094947,0.6010382,0.005779223,0.0000342014],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01733809,0.0007308275,0.9732183,0.001498383,0.0001193103,0.0001405433,0.0003990186,0.0008079176,0.005747688],"genre_scores_gemma":[0.5087438,0.00113207,0.4850803,0.0006401522,0.0002962902,0.0003950255,0.0008599267,0.0001959524,0.002656535],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01177423,"threshold_uncertainty_score":0.04340965,"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."}}