1078 search results - page 60 / 216 » Modelling and Verifying of e-Commerce Systems |
108
click to vote
INTERSPEECH
2010
14 years 6 months ago
2010
The perceived quality of a synthetic visual speech signal greatly depends on the smoothness of the presented visual articulators. This paper explains how concatenative visual spee...
115
click to vote
ISORC
2005
IEEE
15 years 5 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
100
click to vote
IFM
2009
Springer
14 years 9 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
112
click to vote
RSP
2003
IEEE
15 years 5 months ago
2003
IEEE
Model-based testing relies on the use of behavior models to automatically generate sequences of inputs and expected outputs. These sequences can be used as test cases to the end o...
PAMI
2002
14 years 11 months ago
2002
A modular system to recognize handwritten numerical strings is proposed. It uses a segmentation-based recognition approach and a Recognition and Verification strategy. The approach...