{"id":"W2148040915","doi":"10.1109/coginf.2005.1532649","title":"Formal specification of CORBA-based distributed objects and behaviors","year":2005,"lang":"en","type":"article","venue":"","topic":"Cognitive Computing and Networks","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Calgary","funders":"","keywords":"Common Object Request Broker Architecture; Distributed object; Computer science; Object (grammar); Method; Middleware (distributed applications); Tuple; Object request broker; Set (abstract data type); Distributed computing; Object model; Formal specification; Architecture; Interoperable Object Reference; Programming language; Object-oriented design; Object-oriented programming; 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.0001882294,0.00005714374,0.00007038778,0.00004843835,0.00004882856,0.00002619157,0.0001496057,0.00002955675,0.000008012868],"category_scores_gemma":[0.00001209961,0.00005181989,0.00002190173,0.0001953251,0.00003314224,0.0001423059,0.00007143884,0.00005194762,0.000004594599],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001240095,"about_ca_system_score_gemma":0.00001857748,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000005667022,"about_ca_topic_score_gemma":0.00001049073,"domain_scores_codex":[0.9994529,0.00001474338,0.0001374608,0.0001477205,0.0001039758,0.0001431571],"domain_scores_gemma":[0.9995599,0.00009337166,0.00005644433,0.000154269,0.00008909139,0.00004688889],"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.00002041779,0.0001801395,0.01161345,0.00001008109,0.000006008277,0.00000285919,0.0002545603,0.0005580265,0.001413791,0.01223961,0.0008773124,0.9728237],"study_design_scores_gemma":[0.0007842869,0.0001422096,0.2631674,0.00003655544,0.000009970907,0.000008123279,0.00003872955,0.6838079,0.0501736,0.0001459267,0.001468954,0.0002163503],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2319104,0.00004181324,0.7666391,0.0001332571,0.00004819808,0.00004970877,0.000001759466,0.0000645148,0.001111289],"genre_scores_gemma":[0.9766482,0.000003104833,0.02316776,0.0000946623,0.00004205512,0.000001144929,0.00000853962,0.000002151894,0.00003241727],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9726074,"threshold_uncertainty_score":0.2113154,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01348584812422974,"score_gpt":0.2352115981100394,"score_spread":0.2217257499858097,"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."}}