1565 search results - page 163 / 313 » Topical locality in the Web |
PODS
2006
ACM
14 years 10 months ago
2006
ACM
We study the verification of compositions of Web Service peers which interact asynchronously by exchanging messages. Each peer has access to a local database and reacts to user in...
ESOP
2007
Springer
14 years 4 months ago
2007
Springer
This paper relates two different paradigms of descriptions of communication behaviour, one focussing on global message flows and another on end-point behaviours, using formal cal...
ICMCS
2006
IEEE
14 years 4 months ago
2006
IEEE
Hosting Internet streaming services has its unique challenges. Aiming at making Internet streaming services be widely and easily adopted in practice, in this paper, we have design...
NDSS
1999
IEEE
14 years 2 months ago
1999
IEEE
We address the problem of secure remote access to a site's internal web server from outside the rewall. The goal is to give authorized users access to sensitive information, ...
CI
2007
13 years 10 months ago
2007
: When one tries to use the Web as a dictionary or encyclopedia, entering some single term into a search engine, the highly-ranked pages in the result can include irrelevant or use...