12 search results - page 2 / 3 » A Comparison of Three Model Checkers Applied to a Distribute... |
COGCOM
2011
12 years 12 months ago
2011
Although the mechanisms of human visual understanding remain partially unclear, computational models inspired by existing knowledge on human vision have emerged and applied to seve...
SC
2003
ACM
13 years 10 months ago
2003
ACM
Computational grids hold great promise in utilizing geographically separated heterogeneous resources to solve large-scale complex scientific problems. However, a number of major ...
CCS
2004
ACM
13 years 10 months ago
2004
ACM
Comparing the expressive power of access control models is recognized as a fundamental problem in computer security. Such comparisons are generally based on simulations between di...
CORR
2012
Springer
12 years 1 months ago
2012
Springer
A typical web search engine consists of three principal parts: crawling engine, indexing engine, and searching engine. The present work aims to optimize the performance of the cra...
IMC
2010
ACM
13 years 3 months ago
2010
ACM
While many public cloud providers offer pay-as-you-go computing, their varying approaches to infrastructure, virtualization, and software services lead to a problem of plenty. To ...