{"id":"W762698443","doi":"10.3233/978-1-60750-831-1-20","title":"Model Checking Single Web Services using Markov Chains and MDPs","year":2011,"lang":"en","type":"book-chapter","venue":"Frontiers in artificial intelligence and applications","topic":"Service-Oriented Architecture and Web Services","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"","keywords":"Computer science; Markov chain; Web service; Markov model; World Wide Web; Machine learning","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.003735204,0.001048477,0.00118961,0.001161122,0.0008593439,0.00191842,0.001902664,0.001150126,0.00250959],"category_scores_gemma":[0.01122868,0.001077627,0.002626686,0.0008478562,0.002398637,0.002809165,0.002249589,0.002392789,0.0004141495],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002241645,"about_ca_system_score_gemma":0.003957469,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.009765266,"about_ca_topic_score_gemma":0.007566302,"domain_scores_codex":[0.9960893,0.001129137,0.0002589771,0.0006120773,0.001648681,0.0002618957],"domain_scores_gemma":[0.9910666,0.007182857,0.0004644811,0.0006233407,0.0005519375,0.0001107612],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001178978,0.00005319113,0.0008341436,0.0001990061,0.0001289203,0.0002280643,0.0001552946,0.8375694,0.003022603,0.1212618,0.0005508215,0.03587881],"study_design_scores_gemma":[0.00002402029,0.000012355,0.00004284408,0.00001540915,0.00001661028,0.00002510812,0.000007997266,0.9624672,0.002286861,0.03411159,0.0009802573,0.000009761475],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.009049576,0.0001233198,0.9881214,0.0001295405,0.00003127602,0.00008639169,0.00009550084,0.0007734329,0.001589581],"genre_scores_gemma":[0.362738,0.0006612358,0.6318677,0.000173358,0.00005828492,0.0005131871,0.0004691369,0.0003456353,0.003173445],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.009765266,"threshold_uncertainty_score":0.01975387,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0546717681516309,"score_gpt":0.2533680079677908,"score_spread":0.1986962398161599,"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."}}