422 search results - page 13 / 85 » Automatic Generation of Program Families by Model Restrictio... |
104
Voted
BMCBI
2007
14 years 9 months ago
2007
Background: Protein remote homology detection is a central problem in computational biology. Most recent methods train support vector machines to discriminate between related and ...
107
click to vote
JAVACARD
2000
15 years 1 months ago
2000
: Open-cards have introduced a new life cycle for smart card embedded applications. In the case of Java Card, they have raised the problem of embedded object-oriented applet valida...
IJFCS
2006
14 years 9 months ago
2006
In recent years, workflow technology has greatly facilitated business process modeling and reengineering in information systems. On one hand, the separation of an application'...
ICSE
2004
IEEE-ACM
15 years 9 months ago
2004
IEEE-ACM
We have extended the software model checker BLAST to automatically generate test suites that guarantee full coverage with respect to a given predicate. More precisely, given a C p...
85
Voted
IIE
2007
14 years 9 months ago
2007
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...