Sciweavers

3031 search results - page 141 / 607
» Model Driven Testing Based on Test History
Sort
View
99
Voted
HICSS
2003
IEEE
125views Biometrics» more  HICSS 2003»
15 years 6 months ago
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko,...
126
Voted
IMCSIT
2010
14 years 10 months ago
Software and hardware in the loop component for an IEC 61850 Co-Simulation platform
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
Haffar Mohamad, Thiriet Jean Marc
102
Voted
ICDAR
2007
IEEE
15 years 7 months ago
Vector Model Based Indexing and Retrieval of Handwritten Medical Forms
A vector model based information retrieval of handwritten medical forms is presented in this paper. In order to improve the IR performance on the erroneous output of handwriting r...
Huaigu Cao, Venu Govindaraju
IFM
2007
Springer
129views Formal Methods» more  IFM 2007»
15 years 7 months ago
Slotted-Circus
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Andrew Butterfield, Adnan Sherif, Jim Woodcock
ICIP
2004
IEEE
16 years 2 months ago
A novel 2D shape matching algorithm based on B-spline modeling
This paper presents a novel algorithm for 2D planar curve recognition based on B-Spline modeling. It combines the advantages of the B-Spline that are continuous curve representati...
Yue Wang, Eam Khwang Teoh