2468 search results - page 454 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
143
click to vote
BMCBI
2006
15 years 3 months ago
2006
Background: The rapid proliferation of biomedical text makes it increasingly difficult for researchers to identify, synthesize, and utilize developed knowledge in their fields of ...
200
Voted
VLDB
2007
ACM
16 years 3 months ago
2007
ACM
Autocompletion is a widely deployed facility in systems that require user input. Having the system complete a partially typed "word" can save user time and effort. In th...
141
click to vote
GRC
2007
IEEE
15 years 3 months ago
2007
IEEE
Collaborative filtering (CF) systems are being widely used in E-commerce applications to provide recommendations to users regarding products that might be of interest to them. Th...
140
click to vote
INFSOF
2006
15 years 3 months ago
2006
Web services are used for developing and integrating highly distributed and heterogeneous systems in different domains such as e-business, grid services, and e-government systems....
142
click to vote
ISCA
2011
IEEE
14 years 7 months ago
2011
IEEE
With technology scaling, manufacture-time and in-field permanent faults are becoming a fundamental problem. Multi-core architectures with spares can tolerate them by detecting an...