2836 search results - page 509 / 568 » Evaluating a Qualitative Reasoner |
MOBISYS
2011
ACM
14 years 19 days ago
2011
ACM
The explosive growth of the mobile application market has made it a significant challenge for the users to find interesting applications in crowded App Stores. To alleviate this...
ICDCS
2011
IEEE
13 years 9 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...
114
click to vote
INFOCOM
2012
IEEE
13 years 6 days ago
2012
IEEE
—Collaborative spectrum sensing has been regarded as a promising approach to enable secondary users to detect primary users by exploiting spatial diversity. In this paper, we con...
120
click to vote
ISSTA
2012
ACM
13 years 6 days 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...
114
click to vote
LPNMR
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...