6014 search results - page 195 / 1203 » Structural Testing with Use Cases |
128
click to vote
ICST
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
135
Voted
RECOMB
2002
Springer
16 years 4 months ago
2002
Springer
Comparing chromosomal gene order in two or more related species is an important approach to studying the forces that guide genome organization and evolution. Linked clusters of si...
135
click to vote
WSC
2007
15 years 6 months ago
2007
This paper describes an effort of testing the Core Manufacturing Simulation Data (CMSD) information model as a neutral data interface for a discrete event simulation model develop...
134
click to vote
VTC
2006
IEEE
15 years 9 months ago
2006
IEEE
— In this paper, single carrier frequency domain equalization with space time transmit diversity was implemented and evaluated in real-time using a DSP-based wireless MIMO test-b...
135
click to vote
COMPSAC
2004
IEEE
15 years 7 months ago
2004
IEEE
Input validation refers to checking user inputs to a program to ensure that they conform to expectations of the program. Input validation is used to check the format of numbers and...