606 search results - page 85 / 122 » A Comparative Study of Industrial Static Analysis Tools |
124
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
The goal of this research is the improvement of browsing voluminous InkML data in two areas: ease of rendering continuous inkflow for replay-browsing, and ease of random access na...
118
click to vote
ACSAC
2004
IEEE
15 years 9 months ago
2004
IEEE
This paper discusses the Trustworthy Computing Security Development Lifecycle (or simply the SDL), a process that Microsoft has adopted for the development of software that needs ...
160
click to vote
CORR
2006
Springer
15 years 5 months ago
2006
Springer
In a previous paper [16], the sup-interpretation method was proposed as a new tool to control memory resources of first order functional programs with pattern matching by static an...
174
click to vote
BMCBI
2007
15 years 5 months ago
2007
Background: Microarrays are widely used for the study of gene expression; however deciding on whether observed differences in expression are significant remains a challenge. Resul...
168
click to vote
ICCCN
2008
IEEE
16 years 9 days ago
2008
IEEE
— Centrality is a concept often used in social network analysis to study different properties of networks that are modeled as graphs. We present a new centrality metric called Lo...