105 search results - page 6 / 21 » An Evaluation of Model Checkers for Specification Based Test... |
IJCNLP
2005
Springer
14 years 1 months ago
2005
Springer
Corpus-based stochastic language models have achieved significant success in speech recognition, but construction of a corpus pertaining to a specific application is a difficult ta...
ICSE
2001
IEEE-ACM
13 years 12 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
CIBSE
2008
ACM
13 years 9 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
MBEES
2010
13 years 6 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
VLSID
2007
IEEE
14 years 8 months ago
2007
IEEE
Functional validation of microprocessors is growing in complexity in current and future microprocessors. Traditionally, the different components (or validation collaterals) used i...