1448 search results - page 76 / 290 » From Requirements to Code Revisited |
175
Voted
PAMI
2008
15 years 3 months ago
2008
A common way to model multiclass classification problems is by means of Error-Correcting Output Codes (ECOCs). Given a multiclass problem, the ECOC technique designs a code word fo...
133
Voted
CGO
2006
IEEE
15 years 9 months ago
2006
IEEE
Most programs are repetitive, where similar behavior can be seen at different execution times. Algorithms have been proposed that automatically group similar portions of a program...
161
Voted
AMOST
2007
ACM
15 years 7 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
139
Voted
TCOM
2008
15 years 3 months ago
2008
Abstract-- In this paper, closed-form expressions for the uncoded bit error probability of closed-loop transmit diversity (CLTD) algorithms with two transmit and one receive antenn...
153
Voted
KBSE
2007
IEEE
15 years 10 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...