288 search results - page 35 / 58 » Model Checking the World Wide Web |
INFOVIS
1999
IEEE
14 years 28 days ago
1999
IEEE
In the process of knowledge discovery, workers examine available information in order to make sense of it. By sensemaking, we mean interacting with and operating on the informatio...
OHS
2000
Springer
14 years 6 days ago
2000
Springer
There has been tremendous growth in electronic commerce over the past few years. This growth is expected to sustain momentum in the future. Hence, the Internet has become an essent...
CACM
1998
13 years 8 months ago
1998
Abstract. The Virtual Reality Modeling Language (VRML) and Java provide a standardized, portable and platformindependent way to render dynamic, interactive 3D scenes across the Int...
CIKM
1998
Springer
14 years 26 days ago
1998
Springer
People accessing documents via the Internet typically experience latencies in retrieving content. We discuss continual-computation policies that dictate strategies for prefetching...
ICPADS
1996
IEEE
14 years 24 days ago
1996
IEEE
We have de ne a network programming model called Mobile Assistant Programming (MAP) for development and execution of communication applications in large scale networks of heteroge...