7139 search results - page 1297 / 1428 » Language Engineering in Practice |
122
click to vote
EUROMICRO
2003
IEEE
15 years 9 months ago
2003
IEEE
Software components promise easy reuse, dependability, and simplified development. Problems arise when implicit assumptions about the use of the component are encoded in the imple...
118
click to vote
HICSS
2003
IEEE
15 years 9 months ago
2003
IEEE
In an e-service environment, contracts are important for attaining business process interoperability and enforcing their proper enactment. An e-contract is the computerized facili...
141
click to vote
ISSRE
2003
IEEE
15 years 9 months ago
2003
IEEE
Systematic design testing, in which executable models of behaviors are tested using inputs that exercise scenarios, can help reveal flaws in designs before they are implemented i...
145
click to vote
ITC
2003
IEEE
15 years 9 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
123
click to vote
DAC
2003
ACM
15 years 9 months ago
2003
ACM
The design of state-of-the-art, complex embedded systems requires the capability of modeling and simulating the complex networked environment in which such systems operate. This i...