289 search results - page 22 / 58 » An Experimental Framework for Testing Web Prefetching Techni... |
CAV
2011
Springer
13 years 17 days ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
SIGIR
2005
ACM
14 years 2 months ago
2005
ACM
We formulate and study search algorithms that consider a user’s prior interactions with a wide variety of content to personalize that user’s current Web search. Rather than re...
APSEC
2010
IEEE
13 years 19 days ago
2010
IEEE
There is an emergence of cloud application platforms such as Microsoft’s Azure, Google’s App Engine and Amazon’s EC2/SimpleDB/S3. Startups and Enterprise alike, lured by the...
WWW
2004
ACM
14 years 9 months ago
2004
ACM
Video is one of the most popular data shared in the Web, and the protection of video copyright is of vast interest. In this paper, we present a comprehensive approach for protecti...
ICEIS
2008
IEEE
14 years 3 months ago
2008
IEEE
As the Web has become a commodity, it is used for a variety of purposes and tasks that may require a great deal of cognitive efforts. However, most search engines developed for th...