{"id":"W2101493155","doi":"10.1109/lcn.1995.527375","title":"A definition of the XTP service and its formal specification","year":2002,"lang":"en","type":"article","venue":"","topic":"IPv6, Mobility, Handover, Networks, Security","field":"Engineering","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"Concordia University","funders":"University of Ottawa","keywords":"Computer science; Unicast; Service (business); Multicast; Formal specification; Protocol (science); Formal description; Process (computing); Architecture; Distributed computing; Software engineering; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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":[],"consensus_categories":[],"category_scores_codex":[0.00008581904,0.00006415707,0.00006758252,0.00001571715,0.00003373965,0.00001054268,0.00007731167,0.00004870924,0.0002133125],"category_scores_gemma":[0.000007616183,0.00005063838,0.00001989816,0.0001419733,0.00001028311,0.0001879962,0.00003188723,0.0000779488,0.00002978113],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001921762,"about_ca_system_score_gemma":0.000001304519,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000009654751,"about_ca_topic_score_gemma":0.0001150401,"domain_scores_codex":[0.9995737,0.00001326822,0.0001322434,0.00007437753,0.00008993182,0.0001164751],"domain_scores_gemma":[0.9997241,0.00002697969,0.00002109612,0.0001687864,0.00003776243,0.00002123533],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0001764082,0.001074734,0.01697189,0.005193468,0.0003574505,0.000005280304,0.02289971,0.02057467,0.05430921,0.7996022,0.02188564,0.05694937],"study_design_scores_gemma":[0.001395623,0.00004754894,0.07249766,0.00008187259,0.00006547679,0.00002639385,0.000274254,0.8894734,0.02094655,0.010547,0.004214731,0.0004294583],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.9240296,0.0008623624,0.001172211,0.0001876265,0.0002559165,0.0002500007,0.00001096028,0.0001231187,0.0731082],"genre_scores_gemma":[0.9993769,0.0001448824,0.0002971644,0.00006801647,0.00005637847,0.000007841291,0.000003390274,0.000008411359,0.00003699607],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.8688987,"threshold_uncertainty_score":0.2335622,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02793053709792133,"score_gpt":0.1802516177009579,"score_spread":0.1523210806030366,"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."}}