{"id":"W2114943251","doi":"10.1007/978-3-540-30189-9_15","title":"Automated Validation of Service Configuration on Network Devices","year":2004,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":10,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal","funders":"","keywords":"Computer science; Formalism (music); Service (business); Data mining; Distributed computing; Tree (set theory); Data validation; Model checking; Network service; Software engineering; Database; Theoretical computer science; Computer network","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.00360522,0.001569343,0.001772716,0.002105953,0.001276928,0.003664925,0.003425412,0.002095208,0.003885547],"category_scores_gemma":[0.01868108,0.001066427,0.001006842,0.001139266,0.001928848,0.003498561,0.002996821,0.001678052,0.001722378],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001900379,"about_ca_system_score_gemma":0.002258674,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004442694,"about_ca_topic_score_gemma":0.004279655,"domain_scores_codex":[0.9898817,0.003787716,0.0005596998,0.001168816,0.003779678,0.0008224783],"domain_scores_gemma":[0.9720062,0.01132721,0.001597805,0.01156787,0.003109214,0.0003917216],"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.003712876,0.0007156018,0.02230335,0.0007612647,0.0003990715,0.001849338,0.001127945,0.288526,0.1160587,0.03883494,0.02141593,0.504295],"study_design_scores_gemma":[0.00008316892,0.0001279434,0.002410418,0.00007064919,0.00005389711,0.0002486377,0.0001222617,0.9031993,0.07223184,0.01683069,0.004563211,0.00005797666],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.2419432,0.0005736488,0.6598979,0.0004910919,0.0003306538,0.0003628133,0.0008008889,0.08755001,0.008049776],"genre_scores_gemma":[0.9124147,0.0001210721,0.08215683,0.0001316702,0.000041812,0.0001230308,0.0009598242,0.001658032,0.002393174],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.004442694,"threshold_uncertainty_score":0.01906645,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01335811751610125,"score_gpt":0.2419084413593327,"score_spread":0.2285503238432315,"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."}}