Sciweavers

2189 search results - page 211 / 438
» Webbed documents
Sort
View
FORTE
2004
15 years 4 months ago
Formal Verification of Web Applications Modeled by Communicating Automata
In this paper, we present an approach for modeling an existing web application using communicating finite automata model based on the userdefined properties to be validated. We ela...
May Haydar, Alexandre Petrenko, Houari A. Sahraoui
120
Voted
IC
2000
15 years 4 months ago
A Hyperlink Focused Browse Assistant for the World Wide Web
This paper describes a browse assistant focusing on hyperlinks. It discusses the concept and an accompanying prototype implementation of the assistant. The aim of the assistant is ...
Andreas Heuer 0002, Ernst Georg Haffner, Uwe Roth,...
143
Voted
PDPTA
2003
15 years 4 months ago
Tuxedo: A Peer-to-Peer Caching System
We are witnessing two trends in Web content access: (a) increasing amounts of dynamic and personalized Web content, and (b) a significant growth in “on-the-move” access using...
Weisong Shi, Kandarp Shah, Yonggen Mao, Vipin Chau...
116
Voted
FLAIRS
2008
15 years 5 months ago
QueSTS: A Query Specific Text Summarization System
Effective extraction of query relevant information present within documents on the web is a nontrivial task. In this paper we present our system called QueSTS, which does the abov...
M. Sravanthi, C. Ravindranath Chowdary, P. Sreeniv...
131
Voted
ERCIMDL
2005
Springer
305views Education» more  ERCIMDL 2005»
15 years 8 months ago
Focused Crawling Using Latent Semantic Indexing - An Application for Vertical Search Engines
Vertical search engines and web portals are gaining ground over the general-purpose engines due to their limited size and their high precision for the domain they cover. The number...
George Almpanidis, Constantine Kotropoulos, Ioanni...