Matches in SemOpenAlex for { <https://semopenalex.org/work/W2084927340> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2084927340 abstract "Now a days people use search engines every now and then to retrieve documents from the Web. Web crawling is the process by which a search engine gather pages from the Web to index them and support a search engine. Web crawlers are the heart of search engines. Web crawlers continuously keep on crawling the web and find any new web pages that have been added to the web, pages that have been removed from the web. Due to growing and dynamic nature of the web, it has become a challenge to traverse through all URLs in the web documents and to handle these URLs. The entire crawling process may be viewed as traversing a web graph. The aim of this paper is to model check the crawling process and crawler properties using a symbolic model checker tool called NuSMV. The basic operation of a hypertext crawler and the crawler properties has been modeled in terms of CTL specification and it is observed that the system takes care of all the constraints by satisfying all the specifications." @default.
- W2084927340 created "2016-06-24" @default.
- W2084927340 creator A5023616596 @default.
- W2084927340 creator A5040427897 @default.
- W2084927340 creator A5055606135 @default.
- W2084927340 date "2012-01-01" @default.
- W2084927340 modified "2023-09-24" @default.
- W2084927340 title "Symbolic verification of web crawler functionality and its properties" @default.
- W2084927340 cites W1489391022 @default.
- W2084927340 cites W2099120582 @default.
- W2084927340 cites W2099577094 @default.
- W2084927340 cites W4251228600 @default.
- W2084927340 doi "https://doi.org/10.1109/iccci.2012.6158649" @default.
- W2084927340 hasPublicationYear "2012" @default.
- W2084927340 type Work @default.
- W2084927340 sameAs 2084927340 @default.
- W2084927340 citedByCount "7" @default.
- W2084927340 countsByYear W20849273402013 @default.
- W2084927340 countsByYear W20849273402014 @default.
- W2084927340 countsByYear W20849273402015 @default.
- W2084927340 countsByYear W20849273402018 @default.
- W2084927340 countsByYear W20849273402020 @default.
- W2084927340 countsByYear W20849273402021 @default.
- W2084927340 crossrefType "proceedings-article" @default.
- W2084927340 hasAuthorship W2084927340A5023616596 @default.
- W2084927340 hasAuthorship W2084927340A5040427897 @default.
- W2084927340 hasAuthorship W2084927340A5055606135 @default.
- W2084927340 hasConcept C100368936 @default.
- W2084927340 hasConcept C105702510 @default.
- W2084927340 hasConcept C110875604 @default.
- W2084927340 hasConcept C11392498 @default.
- W2084927340 hasConcept C130436687 @default.
- W2084927340 hasConcept C136764020 @default.
- W2084927340 hasConcept C13743948 @default.
- W2084927340 hasConcept C173576120 @default.
- W2084927340 hasConcept C21959979 @default.
- W2084927340 hasConcept C23123220 @default.
- W2084927340 hasConcept C41008148 @default.
- W2084927340 hasConcept C521815418 @default.
- W2084927340 hasConcept C61096286 @default.
- W2084927340 hasConcept C71924100 @default.
- W2084927340 hasConcept C73340581 @default.
- W2084927340 hasConceptScore W2084927340C100368936 @default.
- W2084927340 hasConceptScore W2084927340C105702510 @default.
- W2084927340 hasConceptScore W2084927340C110875604 @default.
- W2084927340 hasConceptScore W2084927340C11392498 @default.
- W2084927340 hasConceptScore W2084927340C130436687 @default.
- W2084927340 hasConceptScore W2084927340C136764020 @default.
- W2084927340 hasConceptScore W2084927340C13743948 @default.
- W2084927340 hasConceptScore W2084927340C173576120 @default.
- W2084927340 hasConceptScore W2084927340C21959979 @default.
- W2084927340 hasConceptScore W2084927340C23123220 @default.
- W2084927340 hasConceptScore W2084927340C41008148 @default.
- W2084927340 hasConceptScore W2084927340C521815418 @default.
- W2084927340 hasConceptScore W2084927340C61096286 @default.
- W2084927340 hasConceptScore W2084927340C71924100 @default.
- W2084927340 hasConceptScore W2084927340C73340581 @default.
- W2084927340 hasLocation W20849273401 @default.
- W2084927340 hasOpenAccess W2084927340 @default.
- W2084927340 hasPrimaryLocation W20849273401 @default.
- W2084927340 hasRelatedWork W2078731629 @default.
- W2084927340 hasRelatedWork W2084927340 @default.
- W2084927340 hasRelatedWork W2277785728 @default.
- W2084927340 hasRelatedWork W2379145789 @default.
- W2084927340 hasRelatedWork W2941499861 @default.
- W2084927340 hasRelatedWork W3164053708 @default.
- W2084927340 hasRelatedWork W3205545366 @default.
- W2084927340 hasRelatedWork W3216588747 @default.
- W2084927340 hasRelatedWork W4205141839 @default.
- W2084927340 hasRelatedWork W4239816769 @default.
- W2084927340 isParatext "false" @default.
- W2084927340 isRetracted "false" @default.
- W2084927340 magId "2084927340" @default.
- W2084927340 workType "article" @default.