5015 search results - page 662 / 1003 » Model Checking a Path |
264
click to vote
VEE
2012
ACM
14 years 2 months ago
2012
ACM
Time Of Check To Time Of Use (TOCTTOU) race conditions for file accesses in user-space applications are a common problem in Unix-like systems. The mapping between filename and i...
225
click to vote
TAOSD
2010
15 years 5 months ago
2010
Abstract. Aspect Oriented Modeling (AOM) techniques facilitate separate modeling of concerns and allow for a more flexible composition of these than traditional modeling technique...
171
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: When predictive survival models are built from high-dimensional data, there are often additional covariates, such as clinical scores, that by all means have to be incl...
199
Voted
CVPR
2009
IEEE
17 years 1 months ago
2009
IEEE
Modeling and recognizing landmarks at world-scale is a
useful yet challenging task. There exists no readily available
list of worldwide landmarks. Obtaining reliable visual
mode...
169
click to vote
WWW
2010
ACM
16 years 1 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...