785 search results - page 110 / 157 » Static Analysis of Android Programs |
SCAM
2003
IEEE
15 years 7 months ago
2003
IEEE
Software maintenance, program analysis and transformation tools almost always rely on static source code analysis as the first and fundamental step to gather information. In the ...
ACSAC
1999
IEEE
15 years 6 months ago
1999
IEEE
Many security breaches are caused by inappropriate inputs crafted by people with malicious intents. To enhance the system security, we need either to ensure that inappropriate inp...
135
click to vote
VLDB
1994
ACM
15 years 6 months ago
1994
ACM
Expert database systems extend the functionality of conventional database systems by providing a facility for creating and automatically executing Condition-Action rules. While Con...
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Bounding resource usage is important for a number of areas, notably real-time embedded systems and safety-critical systems. In this paper, we present a fully automatic st...
116
click to vote
RTSS
2008
IEEE
15 years 8 months ago
2008
IEEE
With the advent of increasingly complex hardware in realtime embedded systems (processors with performance enhancing features such as pipelines, cache hierarchy, multiple cores), ...