{"id":"W180087852","doi":"","title":"Validation of Remote Object Invocation and Object Migration in CORBA GIOP using Promela/Spin","year":2002,"lang":"en","type":"article","venue":"","topic":"Distributed systems and fault tolerance","field":"Computer Science","cited_by":11,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"","keywords":"Promela; Common Object Request Broker Architecture; Computer science; Protocol (science); Interoperability; Object (grammar); Programming language; Model checking; Operating system; 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.0002737778,0.0000823361,0.0001389221,0.0001160474,0.00003903472,0.00007311523,0.0001396408,0.00005512084,0.000007902849],"category_scores_gemma":[0.00003718512,0.00007680985,0.00002015614,0.0005262398,0.00001863885,0.0005565572,0.00003410521,0.00005041887,0.000005507299],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0000439486,"about_ca_system_score_gemma":0.00001885164,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0008174861,"about_ca_topic_score_gemma":0.0001531647,"domain_scores_codex":[0.9991021,0.0000641618,0.0003107634,0.0002315158,0.0001726067,0.0001189088],"domain_scores_gemma":[0.9995006,0.00002089337,0.0001389476,0.0002301491,0.00008125419,0.00002821078],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00004120662,0.0007426059,0.05074859,0.0007853321,0.00006911843,0.00002837259,0.02404807,0.008510511,0.3173124,0.03523555,0.002473207,0.560005],"study_design_scores_gemma":[0.0003324315,0.00005853817,0.009978021,0.0001039266,0.000002852194,0.00001351993,0.00006590278,0.9682179,0.02047555,0.0003753007,0.0002534593,0.0001225679],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6712397,0.0001537841,0.3271643,0.000160668,0.00008756051,0.0002070391,0.000001618408,0.00003465124,0.0009506832],"genre_scores_gemma":[0.9816425,0.00002569737,0.01813999,0.00002725991,0.00001744111,0.000002549523,0.000005319444,0.00000363858,0.0001355564],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.9597074,"threshold_uncertainty_score":0.3132215,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03411696030592919,"score_gpt":0.2640074872543977,"score_spread":0.2298905269484685,"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."}}