1310 search results - page 173 / 262 » On a Class of Traceability Codes |
CARDIS
2000
Springer
14 years 1 months ago
2000
Springer
This paper reports on an effort to increase the reliability of JavaCard-based smart cards by means of formal specification and verification of JavaCard source code. As a first ste...
DSN
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper presents an experimental study on the emulation of software faults by fault injection. In a first experiment, a set of real software faults has been compared with fault...
FLAIRS
2007
14 years 17 days ago
2007
Recent work highlights advantages in decomposing multiclass decision problems into multiple binary problems. Several strategies have been proposed for this decomposition. The most...
LREC
2010
13 years 11 months ago
2010
We present the Database of Catalan Adjectives (DCA), a database with 2,296 adjective lemmata enriched with morphological, syntactic and semantic information. This set of adjective...
SDM
2010
SIAM
13 years 11 months ago
2010
SIAM
Gene prediction is one of the most challenging tasks in genome analysis, for which many tools have been developed and are still evolving. In this paper, we present a novel gene pr...