288 search results - page 6 / 58 » Model Checking the World Wide Web |
INFOCOM
2000
IEEE
14 years 29 days ago
2000
IEEE
—In this paper, we argue that weak cache consistency mechanisms supported by existing Web proxy caches must be augmented by strong consistency mechanisms to support the growing d...
SIGMOD
1997
ACM
14 years 23 days ago
1997
ACM
The Distributed Information Search COmponent (Disco) is a prototype heterogeneous distributed database that accesses underlying data sources. The Disco prototype currently focuses...
ACSC
2002
IEEE
14 years 1 months ago
2002
IEEE
HyperScout, a Web application, is an intermediary between a server and a client. It intercepts a page to the client, gathers information on each link, and annotates each link with...
APSEC
2001
IEEE
14 years 7 days ago
2001
IEEE
Word processing software, email, and spreadsheet have revolutionized office activities. There are many other office tasks that are amenable to automation, such as: scheduling a vi...
EUROMICRO
1998
IEEE
14 years 25 days ago
1998
IEEE
The continuing explosive growth of the web has not been matched by an adequate enhancement of the infrastructure on which it depends. Both consumers and producers are often left f...