288 search results - page 27 / 58 » Model Checking the World Wide Web |
WWW
2005
ACM
14 years 9 months ago
2005
ACM
We offer the first large-scale analysis of Web traffic based on network flow data. Using data collected on the Internet2 network, we constructed a weighted bipartite clientserver ...
DOCENG
2007
ACM
14 years 17 days ago
2007
ACM
We present a set of XML language extensions that bring notions from functional programming to web authors, extending the power of declarative modelling for the web. Our previous w...
WWW
2007
ACM
14 years 9 months ago
2007
ACM
In this paper we present an application framework that leverages geospatial content on the World Wide Web by enabling innovative modes of interaction and novel types of user inter...
SAC
2010
ACM
14 years 3 months ago
2010
ACM
This paper presents the Referrer Graph (RG) web prediction algorithm as a low-cost solution to predict next web user accesses. RG is aimed at being used in a real web system with ...
ICWE
2011
Springer
13 years 2 days ago
2011
Springer
Representational State Transfer (REST), as an architectural style for distributed hypermedia systems, enables scalable operation of the World Wide Web (WWW) and is the foundation f...