3527 search results - page 249 / 706 » Test Automation in Practice |
124
click to vote
FDL
2005
IEEE
15 years 11 months ago
2005
IEEE
A concept of linearly graded statistical models for analogue performance evaluation is proposed and a suitable technique for automatic generation of analogue performance models us...
148
click to vote
TIME
2005
IEEE
15 years 11 months ago
2005
IEEE
We investigate properties of a spatio-temporal logic based on an n-dimensional Duration Calculus tailored for the specification and verification of mobile real-time systems. Aft...
117
click to vote
ICCAD
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper presents an approach to reduce interconnect cost by insertion of identity operations in a CDFG. Other than previous approaches, it is based on systematic pattern analys...
146
click to vote
EDOC
2003
IEEE
15 years 11 months ago
2003
IEEE
The expression of contracts in computer readable form, and the development of automated tests for completeness and well-formedness of contracts, has opened the door to significant...
130
click to vote
HICSS
1999
IEEE
15 years 10 months ago
1999
IEEE
Advances in EDI (Electronic Data Interchange) demand appropriate controls in order to realize the potential benefits from it. Formal, informal, and automated controls are basic pa...