FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2805432486> ?p ?o ?g. }

• W2805432486 abstract "Vehicular Ad hoc Networks (VANETs) is an essential component of Intelligent Transportation System that includes connectivity of vehicles on the road. Out of multiple research issues of VANETs, efficient routing is a major concern. Effective routing is needed because VANETs are applied to critical applications like accident alerts, driver assistance during vague weather. For this reason, a fast vehicle to vehicle communication is required. In this study, a lane based low overhead unicast procedure is proposed particularly for VANETs. The overhead is minimized by omitting the continuous GPS readings and using a novel position estimation scheme. The entire network is designed by using graphs for the comprehension of the problem. The proposed model is described by using Formal Methods. Formal Methods (FM) is one of the novel mathematical techniques used to prove the correctness and consistency of the model. Vienna Development Method-Specification Language (VDM-SL), a FM, is used for the detailed level description of the protocol. The proposed unicast algorithm is then formalized through VDM-SL. Static and dynamic properties, syntax and semantics of the proposed algorithm is verified through VDM-SL Toolbox." @default.
• W2805432486 created "2018-06-13" @default.
• W2805432486 creator A5012166388 @default.
• W2805432486 creator A5022909686 @default.
• W2805432486 creator A5076157502 @default.
• W2805432486 date "2017-11-01" @default.
• W2805432486 modified "2023-09-24" @default.
• W2805432486 title "Effective formal unicast routing for VANETs" @default.
• W2805432486 cites W1515629663 @default.
• W2805432486 cites W2023262636 @default.
• W2805432486 cites W2042588725 @default.
• W2805432486 cites W2071430611 @default.
• W2805432486 cites W2099574482 @default.
• W2805432486 cites W2104541072 @default.
• W2805432486 cites W2117375933 @default.
• W2805432486 cites W2132477212 @default.
• W2805432486 cites W2143374307 @default.
• W2805432486 cites W2151152069 @default.
• W2805432486 cites W2307959194 @default.
• W2805432486 cites W2310780633 @default.
• W2805432486 cites W2343541369 @default.
• W2805432486 cites W2417051200 @default.
• W2805432486 cites W2464506004 @default.
• W2805432486 cites W2514129019 @default.
• W2805432486 doi "https://doi.org/10.1109/icase.2017.8374284" @default.
• W2805432486 hasPublicationYear "2017" @default.
• W2805432486 type Work @default.
• W2805432486 sameAs 2805432486 @default.
• W2805432486 citedByCount "3" @default.
• W2805432486 countsByYear W28054324862018 @default.
• W2805432486 countsByYear W28054324862019 @default.
• W2805432486 countsByYear W28054324862021 @default.
• W2805432486 crossrefType "proceedings-article" @default.
• W2805432486 hasAuthorship W2805432486A5012166388 @default.
• W2805432486 hasAuthorship W2805432486A5022909686 @default.
• W2805432486 hasAuthorship W2805432486A5076157502 @default.
• W2805432486 hasConcept C104954878 @default.
• W2805432486 hasConcept C111498074 @default.
• W2805432486 hasConcept C11413529 @default.
• W2805432486 hasConcept C11704745 @default.
• W2805432486 hasConcept C120314980 @default.
• W2805432486 hasConcept C127413603 @default.
• W2805432486 hasConcept C147176958 @default.
• W2805432486 hasConcept C154945302 @default.
• W2805432486 hasConcept C184337299 @default.
• W2805432486 hasConcept C199360897 @default.
• W2805432486 hasConcept C2776436953 @default.
• W2805432486 hasConcept C2779960059 @default.
• W2805432486 hasConcept C31258907 @default.
• W2805432486 hasConcept C32295351 @default.
• W2805432486 hasConcept C41008148 @default.
• W2805432486 hasConcept C47796450 @default.
• W2805432486 hasConcept C55439883 @default.
• W2805432486 hasConcept C555944384 @default.
• W2805432486 hasConcept C74172769 @default.
• W2805432486 hasConcept C75606506 @default.
• W2805432486 hasConcept C76155785 @default.
• W2805432486 hasConcept C80444323 @default.
• W2805432486 hasConcept C94523657 @default.
• W2805432486 hasConceptScore W2805432486C104954878 @default.
• W2805432486 hasConceptScore W2805432486C111498074 @default.
• W2805432486 hasConceptScore W2805432486C11413529 @default.
• W2805432486 hasConceptScore W2805432486C11704745 @default.
• W2805432486 hasConceptScore W2805432486C120314980 @default.
• W2805432486 hasConceptScore W2805432486C127413603 @default.
• W2805432486 hasConceptScore W2805432486C147176958 @default.
• W2805432486 hasConceptScore W2805432486C154945302 @default.
• W2805432486 hasConceptScore W2805432486C184337299 @default.
• W2805432486 hasConceptScore W2805432486C199360897 @default.
• W2805432486 hasConceptScore W2805432486C2776436953 @default.
• W2805432486 hasConceptScore W2805432486C2779960059 @default.
• W2805432486 hasConceptScore W2805432486C31258907 @default.
• W2805432486 hasConceptScore W2805432486C32295351 @default.
• W2805432486 hasConceptScore W2805432486C41008148 @default.
• W2805432486 hasConceptScore W2805432486C47796450 @default.
• W2805432486 hasConceptScore W2805432486C55439883 @default.
• W2805432486 hasConceptScore W2805432486C555944384 @default.
• W2805432486 hasConceptScore W2805432486C74172769 @default.
• W2805432486 hasConceptScore W2805432486C75606506 @default.
• W2805432486 hasConceptScore W2805432486C76155785 @default.
• W2805432486 hasConceptScore W2805432486C80444323 @default.
• W2805432486 hasConceptScore W2805432486C94523657 @default.
• W2805432486 hasLocation W28054324861 @default.
• W2805432486 hasOpenAccess W2805432486 @default.
• W2805432486 hasPrimaryLocation W28054324861 @default.
• W2805432486 hasRelatedWork W14003054 @default.
• W2805432486 hasRelatedWork W1508234101 @default.
• W2805432486 hasRelatedWork W1518568605 @default.
• W2805432486 hasRelatedWork W1528659016 @default.
• W2805432486 hasRelatedWork W1881341452 @default.
• W2805432486 hasRelatedWork W2007828841 @default.
• W2805432486 hasRelatedWork W2033871392 @default.
• W2805432486 hasRelatedWork W2044304197 @default.
• W2805432486 hasRelatedWork W2100816781 @default.
• W2805432486 hasRelatedWork W2113632947 @default.
• W2805432486 hasRelatedWork W2120768450 @default.
• W2805432486 hasRelatedWork W2124824241 @default.
• W2805432486 hasRelatedWork W2165351021 @default.
• W2805432486 hasRelatedWork W2167891580 @default.
• W2805432486 hasRelatedWork W2289832287 @default.

• next