6171 search results - page 889 / 1235 » The FrameNet Data and Software |
203
click to vote
CAV
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Many automatic testing, analysis, and verification techniques for programs can effectively be reduced to a constraint-generation phase followed by a constraint-solving ...
456
click to vote
IWQOS
2011
Springer
14 years 9 months ago
2011
Springer
Abstract—Cloud systems provide a cost-effective service hosting infrastructure for application service providers (ASPs). However, cloud systems are often shared by multiple tenan...
176
click to vote
MOBISYS
2011
ACM
14 years 9 months ago
2011
ACM
The rapid growth of mobile malware necessitates the presence of robust malware detectors on mobile devices. However, running malware detectors on mobile devices may drain their ba...
188
click to vote
MOBISYS
2011
ACM
14 years 9 months 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...
170
click to vote
MOBISYS
2011
ACM
14 years 9 months ago
2011
ACM
Modern smartphone operating systems support the development of third-party applications with open system APIs. In addition to an open API, the Android operating system also provid...