288 search results - page 20 / 58 » Model Checking the World Wide Web |
BPM
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. One of the most difficult obstacles Web Services have to overcome in the attempt to exploit the true potential of the World Wide Web is heterogeneity. Caused by the natur...
MOBICOM
1997
ACM
14 years 5 days ago
1997
ACM
In a previous paper [elided], we described ARTour Web Express, a software system that makes it possible to run World Wide Web applications over wide-area wireless networks. Our ea...
CHI
1996
ACM
14 years 23 days ago
1996
ACM
In its current implementation, the World-Wide Web lacks much of the explicit structure and strong typing found in many closed hypertext systems. While this property has directly f...
JUCS
2006
13 years 8 months ago
2006
: To date, one of the main aims of the World Wide Web has been to provide users with information. In addition to private homepages, large professional information providers, includ...
DM
2011
13 years 3 months ago
2011
The World Wide Web may be viewed as a graph each of whose vertices corresponds to a static HTML web page, and each of whose edges corresponds to a hyperlink from one web page to an...