24554 search results - page 238 / 4911 » Dependable distributed systems |
158
click to vote
SCAM
2008
IEEE
16 years 24 days ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...
271
click to vote
ICST
2011
IEEE
14 years 10 months ago
2011
IEEE
—Changing source code in large software systems is complex and requires a good understanding of dependencies between software components. Modification to components with little ...
170
click to vote
OSDI
2008
ACM
16 years 6 months ago
2008
ACM
Abstract ? Large enterprise networks consist of thousands of services and applications. The performance and reliability of any particular application may depend on multiple service...
170
click to vote
WIDM
2003
ACM
15 years 11 months ago
2003
ACM
Query rewriting using views is an essential issue in data integration. A number of algorithms, e.g., the bucket algorithm, the inverse rules algorithm, the SVB algorithm and the M...
169
click to vote
SIGIR
2008
ACM
15 years 6 months ago
2008
ACM
Many ranking models have been proposed in information retrieval, and recently machine learning techniques have also been applied to ranking model construction. Most of the existin...