2523 search results - page 371 / 505 » Correct Development of Embedded Systems |
ATMOS
2007
13 years 10 months ago
2007
Abstract. In this paper, we give an overview of the Locomotive Simulater/Optimizer (LSO) decision support system developed by us for railroads. This software is designed to imitate...
JAR
2002
13 years 9 months ago
2002
Abstract. This paper reports on the Mizar formalization of the theory of continuous lattices as presented in A Compendium of Continuous Lattices, [25]. By the Mizar formalization w...
ICASSP
2011
IEEE
13 years 28 days ago
2011
IEEE
In this paper, we present new results from our research into the vulnerability of a speaker verification (SV) system to synthetic speech. We use a HMM-based speech synthesizer, w...
PPPJ
2003
ACM
14 years 2 months ago
2003
ACM
The object-oriented approach to software development facilitates and encourages programming practices that increase reusability, correctness and maintainability in code. This is a...
RE
2001
Springer
14 years 1 months ago
2001
Springer
Evolutionary prototyping focuses on gathering a correct and consistent set of requirements. The process lends particular strength to building quality software by means of the ongo...