288 search results - page 13 / 58 » Model Checking the World Wide Web |
SEMWEB
2004
Springer
14 years 1 months ago
2004
Springer
Semantic Web resources — that is, knowledge representation formalisms existing in a distributed hypermedia system — require different addressing and processing models and capac...
APPINF
2003
13 years 10 months ago
2003
The popularity of the World-Wide-Web has increased dramatically in the past few years. Web proxy servers have an important role in reducing server loads, network traffic, and clie...
CIKM
2001
Springer
14 years 1 months ago
2001
Springer
This paper describes the results of an observational study into the methods people use to manage web information for re-use. People observed in our study used a diversity of metho...
CG
2007
Springer
13 years 8 months ago
2007
Springer
We propose a novel method to support analytical processes by visually integrating context information directly into web pages. The context information is obtained from knowledge b...
CACM
2000
13 years 8 months ago
2000
data model provides an abstract, conceptual framework; a concrete syntax is also required and XML is used for this purpose. The XML namespace mechanism serves to identify RDF Schem...