2106 search results - page 261 / 422 » Specifying C concepts |
SEKE
2004
Springer
15 years 3 months ago
2004
Springer
Designers need guidance in tracing knowledge to support the iterative development of interactive software interfaces. Claims show promise in capturing design knowledge with concis...
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
We propose a new approach to accelerate transaction level verification by raising the productivity of the verification suites including test patterns, protocol checker, and simula...
DATE
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract — This paper defines a new diagnosis problem for diagnosing delay defects based upon statistical timing models. We illustrate the differences between the delay defect d...
96
Voted
DEXAW
2003
IEEE
15 years 3 months ago
2003
IEEE
In order to enrich XML with event driven, active behavior, the Active XML Schema approach defines active behavior within XML schemas along metadata, and stores traces of active b...
DISCEX
2003
IEEE
15 years 3 months ago
2003
IEEE
The computer systems that provide the information underpinnings for critical infrastructure applications, both military and civilian, are essential to the operation of those appli...