2488 search results - page 276 / 498 » An improvement in formal verification |
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Executing critical systems often rely on humans to make important and sometimes life-critical decisions. As such systems become more complex, the potential for human error to lead...
103
click to vote
ICASSP
2011
IEEE
14 years 5 months ago
2011
IEEE
Constrained cepstral systems, which select frames to match various linguistic “constraints” in enrollment and test, have shown significant improvements for speaker verificatio...
SIGADA
2005
Springer
15 years 7 months ago
2005
Springer
This paper presents an intermediate notation used in a framework for verification of real-time properties. The framework aims at overcoming the need for the framework user to hav...
115
click to vote
FASE
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Model-driven development is a field within software engineering in which software artifacts are represented as models in order to improve productivity, quality, and cost ...
120
click to vote
CSREAEEE
2006
15 years 2 months ago
2006
- Improving software quality remains a key challenge. Software development formal peer inspection has emerged as an effective approach to address this challenge. Software peer insp...