{"id":"W2120646161","doi":"10.1109/nof.2015.7333293","title":"An architecture for semantic service discovery and realizability in cloud computing","year":2015,"lang":"en","type":"article","venue":"","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":true,"ca_institutions":"Université de Sherbrooke","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Computer science; Cloud computing; Ontology; Formal verification; Service-oriented architecture; Formal methods; Service (business); Service discovery; Software engineering; Realizability; Web service; World Wide Web; Programming language; Operating system","routes":{"ca_aff":true,"ca_fund":true,"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.002550853,0.0006438359,0.0008423253,0.001450832,0.002156448,0.004329354,0.002439723,0.002045186,0.004485545],"category_scores_gemma":[0.004132935,0.0008356168,0.002592174,0.00110576,0.005027018,0.005779959,0.004434176,0.00320222,0.001316153],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003104207,"about_ca_system_score_gemma":0.004346241,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.006716185,"about_ca_topic_score_gemma":0.006670594,"domain_scores_codex":[0.997969,0.0005096107,0.0002418174,0.0003677016,0.0007142668,0.0001975208],"domain_scores_gemma":[0.9987955,0.000393266,0.00008983137,0.0003762454,0.0002409597,0.0001042447],"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.00002907701,0.00003429061,0.0001291837,0.0000612075,0.00002031587,0.0001300334,0.0002371372,0.0193545,0.002510518,0.9619738,0.0006940678,0.01482581],"study_design_scores_gemma":[0.00004625179,0.00004941069,0.0001171912,0.00007785085,0.00004898323,0.000145213,0.000126629,0.2486447,0.003897318,0.7137514,0.03305755,0.00003732568],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003356578,0.0001183015,0.9872746,0.0007251234,0.00005059537,0.0001035703,0.000036327,0.0008391841,0.007495665],"genre_scores_gemma":[0.1881541,0.000582897,0.8036768,0.0003137283,0.00009256041,0.0004854969,0.0002847765,0.0002395702,0.00617002],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.006716185,"threshold_uncertainty_score":0.02252275,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01880189293516544,"score_gpt":0.2707832530331852,"score_spread":0.2519813600980197,"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."}}