{"id":"W2124756729","doi":"10.1007/978-3-540-30482-1_12","title":"Formal Models for Web Navigations with Session Control and Browser Cache","year":2004,"lang":"en","type":"book-chapter","venue":"Lecture notes in computer science","topic":"Software Testing and Debugging Techniques","field":"Computer Science","cited_by":24,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Windsor","funders":"","keywords":"Computer science; Session (web analytics); Web modeling; Web application security; World Wide Web; Web page; Web service; Web navigation; Web API; Static web page; Cache; Web development; Operating system","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006198941,0.0003983715,0.0003856859,0.0003877619,0.000405771,0.0004303423,0.001265475,0.0002069689,0.00000122301],"category_scores_gemma":[0.00007511592,0.00030973,0.000065224,0.0002839202,0.0004796697,0.0009563129,0.0004416137,0.0004501763,0.000001350816],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001733814,"about_ca_system_score_gemma":0.0007164904,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00003064285,"about_ca_topic_score_gemma":0.00002261269,"domain_scores_codex":[0.9975846,0.00001488183,0.000306478,0.00102871,0.0005261785,0.0005390982],"domain_scores_gemma":[0.9979024,0.0007053176,0.0002026677,0.0007791606,0.0002669939,0.0001434818],"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.00003135236,0.00004540401,0.0002210721,0.0001307366,0.00002144385,0.00005167786,0.001037396,0.1260386,0.00009647371,0.08729708,0.00009427871,0.7849345],"study_design_scores_gemma":[0.0004146428,0.0002079352,0.0000347744,0.000546172,0.000007855561,0.00008671966,2.452058e-8,0.5209059,0.000124641,0.4773192,0.00006198025,0.0002901836],"study_design_candidate":"design_other","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.0001183408,0.0002350527,0.9960492,0.0006293357,0.0002499603,0.0006334459,0.000011897,0.001673988,0.0003988285],"genre_scores_gemma":[0.4519548,0.000005666712,0.5471408,0.0007233339,0.00009205829,0.00002982664,0.000003225548,0.00002063251,0.0000295981],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.7846443,"threshold_uncertainty_score":0.9999355,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01821875649081274,"score_gpt":0.249842034535426,"score_spread":0.2316232780446133,"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."}}