{"id":"W31703079","doi":"10.1007/978-3-319-00945-2_50","title":"Shuffle–Based Verification of Component Compatibility","year":2013,"lang":"en","type":"book-chapter","venue":"Advances in intelligent systems and computing","topic":"Petri Nets in System Modeling","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":false,"ca_institutions":"Memorial University of Newfoundland","funders":"","keywords":"Compatibility (geochemistry); Computer science; Petri net; Component (thermodynamics); Backward compatibility; Programming language; Distributed computing; Theoretical computer science; Operating system; Engineering","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.002676052,0.001362107,0.001198317,0.001559955,0.001060693,0.002171976,0.002955755,0.001579713,0.008525084],"category_scores_gemma":[0.01107485,0.001127072,0.002187198,0.0009499238,0.003284336,0.005846041,0.004157598,0.002565544,0.002165699],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001285061,"about_ca_system_score_gemma":0.002011536,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002096728,"about_ca_topic_score_gemma":0.00239793,"domain_scores_codex":[0.9954327,0.001060884,0.0002844941,0.0007578151,0.00185509,0.000609011],"domain_scores_gemma":[0.9898837,0.005594909,0.0004454454,0.002415175,0.001480511,0.0001802849],"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.001719963,0.0003476112,0.00309765,0.0008228128,0.0002830334,0.001216234,0.0005900551,0.2112096,0.0821697,0.4961932,0.006178811,0.1961713],"study_design_scores_gemma":[0.0001328935,0.0002064376,0.0005283303,0.0000747712,0.00009073671,0.0003144586,0.00008344051,0.5714371,0.1176797,0.3025731,0.006782444,0.0000965389],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03186094,0.00008589241,0.9593706,0.0001166173,0.0001006628,0.0001312718,0.0001461619,0.00253462,0.005653194],"genre_scores_gemma":[0.7136322,0.000151708,0.2765709,0.0002310371,0.00006200899,0.0002769911,0.0006550258,0.001013384,0.007406848],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008525084,"threshold_uncertainty_score":0.02851921,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03240876495341959,"score_gpt":0.2730974044345399,"score_spread":0.2406886394811203,"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."}}