{"id":"W52208544","doi":"10.1007/978-3-642-16612-9_10","title":"Runtime Verification for the Web","year":2010,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Advanced Software Engineering Methodologies","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":false,"ca_institutions":"Université du Québec à Montréal; Université du Québec à Chicoutimi","funders":"","keywords":"Computer science; Web application; Programming language; Runtime verification; Temporal logic; Extension (predicate logic); Model checking; World Wide Web; Operating system; Formal verification","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.002890206,0.0009778379,0.001012881,0.001058242,0.001185476,0.003012177,0.002015074,0.001360004,0.01127626],"category_scores_gemma":[0.008835671,0.001082563,0.002001036,0.0007399248,0.002069334,0.005201178,0.003248956,0.00313741,0.003219109],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001458717,"about_ca_system_score_gemma":0.001891935,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.003515988,"about_ca_topic_score_gemma":0.00365893,"domain_scores_codex":[0.9960099,0.00107481,0.0002596214,0.0005723949,0.001646905,0.0004361945],"domain_scores_gemma":[0.993953,0.00251771,0.0002478183,0.00247158,0.0006978691,0.0001120303],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0007912275,0.0002714797,0.002107427,0.00104627,0.0001733256,0.001077562,0.000660588,0.0622374,0.04086689,0.4239283,0.02876253,0.4380771],"study_design_scores_gemma":[0.0001490773,0.0001064488,0.0008935741,0.0002762081,0.0001573531,0.0006384281,0.0001349299,0.4416617,0.09420211,0.4084776,0.0532052,0.00009730239],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01841926,0.0009773204,0.9310201,0.0007693892,0.0003439414,0.0001358619,0.0003265678,0.03108395,0.01692359],"genre_scores_gemma":[0.5811074,0.0009813497,0.3861985,0.0004114728,0.000246545,0.0001872509,0.001304711,0.006138764,0.02342395],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01127626,"threshold_uncertainty_score":0.03772283,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03291654976743139,"score_gpt":0.2811555954730172,"score_spread":0.2482390457055858,"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."}}