534 search results - page 38 / 107 » Sensitivity Analysis of Markovian Models |
151
click to vote
CCS
2003
ACM
15 years 10 months ago
2003
ACM
This paper addresses the issue of identifying buffer overrun vulnerabilities by statically analyzing C source code. We demonstrate a light-weight analysis based on modeling C stri...
234
click to vote
ICASSP
2011
IEEE
14 years 9 months ago
2011
IEEE
Image analysis is still considered as the bottleneck in 2D-gel based expression proteomics analysis for biomarkers discovery. We are presenting a new end-to-end image analysis pip...
157
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: Recently, a large number of methods for the analysis of microarray data have been proposed but there are few comparisons of their relative performances. By using so-ca...
156
click to vote
ATVA
2006
Springer
15 years 9 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....
190
click to vote
ISSTA
2012
ACM
13 years 8 months ago
2012
ACM
Since web applications are easily accessible, and often store a large amount of sensitive user information, they are a common target for attackers. In particular, attacks that foc...