288 search results - page 26 / 58 » Model Checking the World Wide Web |
PERCOM
2003
ACM
14 years 8 months ago
2003
ACM
The Open Hypermedia model is based upon the separation of hypertext links from documents and treats them as separate entities. Distributed link services take this approach and imp...
PACT
2001
Springer
14 years 1 months ago
2001
Springer
Abstract. The vision of Computational Grids promises an exciting future for the distributed simulation community. In this project we make a small but practical step toward the gran...
WISE
2007
Springer
14 years 2 months ago
2007
Springer
A common search problem in the World Wide Web concerns finding information if it is not known when the sources of information appear and how long sources will be available on the ...
DSN
2006
IEEE
14 years 9 days ago
2006
IEEE
World Wide Web, the biggest distributed system ever built, experiences tremendous growth and change in Web sites, users, and technology. A realistic and accurate characterization ...
ICEIS
2005
IEEE
14 years 2 months ago
2005
IEEE
The World Wide Web contains a huge and increasing volume of information. The web warehouse is an efficient and effective means to facilitate utilization of information on the Web,...