606 search results - page 42 / 122 » A Comparative Study of Industrial Static Analysis Tools |
126
Voted
ISF
2011
14 years 7 months ago
2011
Abstract Extremist organizations are heavily utilizing Internet technologies to increase their abilities to influence the world. Studying those global extremist organizations’ In...
102
Voted
FMOODS
2006
15 years 1 months ago
2006
Abstract. With model-driven development being on the verge of becoming an industrial standard, the need for systematic development strategies based on safe model transformations is...
104
Voted
IPPS
2006
IEEE
15 years 6 months ago
2006
IEEE
We show that timed automata can be used to model and to analyze timeliness properties of embedded system architectures. Using a case study inspired by industrial practice, we pres...
86
Voted
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
Parallel processing using multiple processors is a well-established technique to accelerate many different classes of applications. However, as the density of chips increases, ano...
104
click to vote
CCS
2008
ACM
15 years 2 months ago
2008
ACM
While many obfuscation schemes proposed, none of them satisfy any strong definition of obfuscation. Furthermore secure generalpurpose obfuscation algorithms have been proven to be...