2203 search results - page 212 / 441 » The business of open source |
160
click to vote
TAICPART
2010
IEEE
15 years 5 months ago
2010
IEEE
We introduce a new Syntax-based Security Testing (SST) framework that uses a protocol specification to perform security testing on text-based communication protocols. A protocol sp...
142
click to vote
JMLR
2010
15 years 1 months ago
2010
In this paper, we present an open source Error-Correcting Output Codes (ECOC) library. The ECOC framework is a powerful tool to deal with multi-class categorization problems. This...
188
click to vote
SCP
2010
15 years 1 months ago
2010
Analyzing the evolution of large and long-lived software systems is a complex problem that requires extensive tool support due to the amount and complexity of the data that needs ...
160
click to vote
ACL
2012
13 years 9 months ago
2012
We present Subgroup Detector, a system for analyzing threaded discussions and identifying the attitude of discussants towards one another and towards the discussion topic. The sys...
208
click to vote
SPIN
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. Craig interpolation is an active research topic and has become a powerful technique in verification. We present SMTInterpol, an interpolating SMT solver for the quanti...