8337 search results - page 1666 / 1668 » Reasoning With Characteristic Models |
ICDCS
2011
IEEE
12 years 6 months ago
2011
IEEE
—Resource provisioning for N-tier web applications in Clouds is non-trivial due to at least two reasons. First, there is an inherent optimization conflict between cost of resour...
PLDI
2012
ACM
11 years 9 months ago
2012
ACM
Linearizability is a key design methodology for reasoning about tations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusi...
ISSTA
2012
ACM
11 years 9 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...
ISSTA
2012
ACM
11 years 9 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...
CVPR
2012
IEEE
11 years 9 months ago
2012
IEEE
We propose an unsupervised image segmentation method based on texton similarity and mode seeking. The input image is first convolved with a filter-bank, followed by soft cluster...