{"id":"W1483694396","doi":"10.1109/ictta.2006.1684961","title":"Two architectures for testing distributed real-time systems","year":2006,"lang":"en","type":"article","venue":"","topic":"Formal Methods in Verification","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Automaton; Common Object Request Broker Architecture; Formal specification; Factor (programming language); Distributed computing; Conformance testing; Timed automaton; Java; Process (computing); Software architecture; Real-time operating system; Real-time computing; Embedded system; Software; Software engineering; Programming language; Operating system; Theoretical computer science","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.0004779259,0.00008724463,0.000105381,0.00004931315,0.0001072394,0.0001371854,0.0004578626,0.00002881948,0.000001708155],"category_scores_gemma":[0.0002248112,0.00007219376,0.0000307549,0.0002909582,0.00002237892,0.00007299528,0.00006615801,0.00004181614,0.00001975769],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003533568,"about_ca_system_score_gemma":0.00002484312,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0005563926,"about_ca_topic_score_gemma":0.00000365475,"domain_scores_codex":[0.9991316,0.00006371908,0.0002163053,0.0002354115,0.0001334316,0.0002195746],"domain_scores_gemma":[0.9990457,0.0003407528,0.00009164137,0.0003842525,0.0001043185,0.00003336746],"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.000008872919,0.00005583383,0.000902326,0.00006384537,0.000009093901,0.000002132481,0.0000479139,0.04368702,0.03957589,0.8915715,0.002885142,0.02119045],"study_design_scores_gemma":[0.0001788628,0.00004707332,0.00363011,0.00001302563,0.000002878736,0.00001743738,0.000003522895,0.9787398,0.006646832,0.009825261,0.0007690176,0.0001261816],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.01439616,0.00001528136,0.9718071,0.0000676136,0.0001934272,0.0002961971,0.0000111104,0.000475217,0.01273789],"genre_scores_gemma":[0.1587829,8.902929e-8,0.840542,0.00001358939,0.0001251614,0.00005035168,0.00001095704,0.000006095097,0.0004687997],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.9350528,"threshold_uncertainty_score":0.2943976,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03091031168590685,"score_gpt":0.2954200830107124,"score_spread":0.2645097713248055,"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."}}