785 search results - page 128 / 157 » Static Analysis of Android Programs |
128
click to vote
SAC
2005
ACM
15 years 7 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
106
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...
177
click to vote
ECRTS
2010
IEEE
15 years 3 months ago
2010
IEEE
Embedded control systems with hard real-time constraints require that deadlines are met at all times or the system may malfunction with potentially catastrophic consequences. Sched...
119
click to vote
ESOP
2001
Springer
15 years 6 months ago
2001
Springer
We check statically whether it is safe for untrusted foreign machine code to be loaded into a trusted host system. (Here “safety” means that the program abides by a memory-acc...
FMCO
2007
Springer
15 years 8 months ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...