{"id":"W2150096323","doi":"10.1109/ipdps.2009.5161192","title":"A Service Discovery protocol for vehicular ad hoc networks: A proof of correctness","year":2009,"lang":"en","type":"article","venue":"","topic":"Vehicular Ad Hoc Networks (VANETs)","field":"Engineering","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Ottawa","funders":"","keywords":"Service discovery; Computer science; Correctness; Vehicular ad hoc network; Overhead (engineering); Distributed computing; Service (business); Computer network; Protocol (science); Neighbor Discovery Protocol; Wireless ad hoc network; Wireless; Web service; World Wide Web; Telecommunications; Internet protocol suite; The Internet","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.008232449,0.001775192,0.002217873,0.002054502,0.003456127,0.005113314,0.003562666,0.004329384,0.003992191],"category_scores_gemma":[0.02757488,0.00170483,0.00321034,0.002602904,0.007559087,0.009575453,0.007136857,0.008188196,0.002629073],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002195599,"about_ca_system_score_gemma":0.006280449,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00269716,"about_ca_topic_score_gemma":0.001402132,"domain_scores_codex":[0.989838,0.002543056,0.0008475406,0.0009561936,0.005019051,0.0007961527],"domain_scores_gemma":[0.9797801,0.01387787,0.000887925,0.002148526,0.002882463,0.0004230722],"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.0001841966,0.000222682,0.0006600531,0.0007806649,0.0001298422,0.001068363,0.0009662162,0.03840677,0.008090824,0.8561643,0.01304508,0.08028102],"study_design_scores_gemma":[0.0004898423,0.0004913202,0.0003393295,0.0004189827,0.0001933514,0.001655111,0.0002457162,0.237391,0.01445832,0.6492455,0.09482888,0.0002425803],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.002571681,0.0006926509,0.9882894,0.001595051,0.0004330875,0.000405625,0.0001257542,0.0007112266,0.005175582],"genre_scores_gemma":[0.1926489,0.00372729,0.7884906,0.001811872,0.001064642,0.002884583,0.0007439426,0.0006290547,0.007999102],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008232449,"threshold_uncertainty_score":0.04353786,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01154260503917275,"score_gpt":0.2476121894022607,"score_spread":0.2360695843630879,"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."}}