6581 search results - page 1313 / 1317 » Formalizing Design Patterns |
CIKM
2011
Springer
12 years 7 months ago
2011
Springer
Social media services have spread throughout the world in just a few years. They have become not only a new source of information, but also new mechanisms for societies world-wide...
IACR
2011
12 years 7 months ago
2011
With the gaining popularity of remote storage (e.g. in the Cloud), we consider the setting where a small, protected local machine wishes to access data on a large, untrusted remot...
WSDM
2012
ACM
2012
ACM
Large-scale analysis of individual and task differences in search result page examination strategies
12 years 2 months ago
Understanding the impact of individual and task differences on search result page examination strategies is important in developing improved search engines. Characterizing these e...
ISSTA
2012
ACM
11 years 9 months ago
2012
ACM
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
ISCA
2012
IEEE
11 years 9 months ago
2012
IEEE
Recent improvements in architectural supports for virtualization have extended traditional hardware page walkers to traverse nested page tables. However, current twodimensional (2...