1901 search results - page 355 / 381 » Predicting Program Properties from |
107
click to vote
ESEM
2010
ACM
14 years 9 months ago
2010
ACM
Open source software is often considered to be secure because large developer communities can be leveraged to find and fix security vulnerabilities. Eric Raymond states Linus’ L...
122
click to vote
SAC
2000
ACM
15 years 3 months ago
2000
ACM
The global scenario put together by communication networks determines new opportunities towards the realization of Internetbased distributed services in many complex and composite...
109
click to vote
BMCBI
2006
14 years 11 months ago
2006
Background: Comparison of large protein datasets has become a standard task in bioinformatics. Typically researchers wish to know whether one group of proteins is significantly en...
211
Voted
PADL
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. PADS is a declarative language used to describe the syntax and semantic properties of ad hoc data sources such as financial transactions, server logs and scientific data ...
102
click to vote
KBSE
2007
IEEE
15 years 5 months ago
2007
IEEE
We present tools to support model-based security engineering on both the model and the code level. In the approach supported by these tools, one firstly specifies the securitycr...