WWW
2001
ACM
15 years 9 days ago
2001
ACM
We show how model checking techniques can be applied to the analysis of connectivity and cost-of-traversal properties of Web sites.
WWW
2001
ACM
15 years 9 days ago
2001
ACM
WWW
2001
ACM
15 years 9 days ago
2001
ACM
We present Personal WebMelody, a sonified Web server that allows customization and full integration of system-generated music with external music source (audio CD, MP3, etc). Resu...
WWW
2001
ACM
15 years 9 days ago
2001
ACM
This study introduces methods for evaluating search engine performance over a time period. Several measures are defined, which as a whole, describe search engine functionality ove...
WWW
2001
ACM
15 years 9 days ago
2001
ACM
Recent research has shown that server-driven protocols for achieving cache consistency in wide-area network services can perform significantly better than traditional consistency ...
WWW
2001
ACM
15 years 9 days ago
2001
ACM
WWW
2001
ACM
15 years 9 days ago
2001
ACM
WWW
2001
ACM
15 years 9 days ago
2001
ACM
: Persistent connections address inefficiencies associated with multiple concurrent connections. They can improve response time when successfully used with pipelining to retrieve a...
WWW
2001
ACM
15 years 9 days ago
2001
ACM
In order to increase retrieval precision, some new search engines provide manually verified answers to Frequently Asked Queries (FAQs). An underlying task is the identification of...
WWW
2001
ACM
15 years 9 days ago
2001
ACM
XML is poised to take the World-Wide-Web to the next level of innovation. XML data, large or small, with or without associated schema, will be exchanged between increasing number ...