171 search results - page 9 / 35 » Precise Documentation of Critical Software |
FMICS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
IWPC
2007
IEEE
14 years 2 months ago
2007
IEEE
An approach to recover/discover traceability links between software artifacts via the examination of a software system’s version history is presented. A heuristic-based approach...
CSCW
2008
ACM
13 years 9 months ago
2008
ACM
Recent techniques show the benefits of attaching communitygenerated knowledge to artifacts in an information space and presenting it to subsequent readers. We argue that such know...
CLEF
2009
Springer
13 years 9 months ago
2009
Springer
This paper describes the participation of LIG lab, in the batch filtering task for the INFILE (INformation FILtering Evaluation) campaign of CLEF 2009. As opposed to the online ta...
TCBB
2010
13 years 2 months ago
2010
Abstract--We participated (as Team 9) in the Article Classification Task of the Biocreative II.5 Challenge: binary classification of fulltext documents relevant for protein-protein...