2218 search results - page 409 / 444 » Testing Expressibility Is Hard |
ISSTA
2012
ACM
11 years 10 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
KDD
2012
ACM
11 years 10 months ago
2012
ACM
Influential people have an important role in the process of information diffusion. However, there are several ways to be influential, for example, to be the most popular or the...
KDD
2012
ACM
11 years 10 months ago
2012
ACM
Incomplete data present serious problems when integrating largescale brain imaging data sets from different imaging modalities. In the Alzheimer’s Disease Neuroimaging Initiativ...
SIGIR
2012
ACM
11 years 10 months ago
2012
ACM
Finding topic experts on microblogging sites with millions of users, such as Twitter, is a hard and challenging problem. In this paper, we propose and investigate a new methodolog...
SIGMETRICS
2012
ACM
11 years 10 months ago
2012
ACM
In a public cloud, bandwidth is traditionally priced in a pay-asyou-go model. Reflecting the recent trend of augmenting cloud computing with bandwidth guarantees, we consider a n...