364 search results - page 42 / 73 » A UML-integrated Test Description Language for Component Tes... |
DGO
2008
15 years 1 days ago
2008
Much information that could help solve and prevent crimes is never gathered because the reporting methods available to citizens and law enforcement personnel are not optimal. Dete...
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
The transformation of the voiced segments of a speech recording has many applications such as expressivity synthesis or voice conversion. This paper addresses the pitch transposit...
AGILE
2008
Springer
15 years 5 months ago
2008
Springer
The SIM-DL theory has been developed to enable similarity measurement between concept specifications using description logics. It thus closes the gap between similarity theories f...
COMCOM
2000
14 years 10 months ago
2000
ABSTRACT -- SPEC-VALUE, a rigorous scenario-driven approach for the description and validation of complex system functionalities at the early stages of design, is presented. It is ...
CASCON
2007
15 years 1 days ago
2007
We present preliminary work on an IDE for formal software development using tabular expressions as the basis for precise specifications and descriptions of software behaviour. 1 ...