2351 search results - page 177 / 471 » A Method of Requirement Inconsistency Analysis |
143
click to vote
RE
1997
Springer
15 years 8 months ago
1997
Springer
—Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into hed industrial software processes, their application require...
160
Voted
VMV
2004
15 years 6 months ago
2004
Statistical shape modeling using point distribution models (PDMs) has been studied extensively for segmentation and other image analysis tasks. Methods investigated in the literat...
140
click to vote
DEDS
2010
15 years 4 months ago
2010
In discrete event systems, a given task can start executing when all the required input data are available. The required input data for a given task may change along the evolution...
126
click to vote
ISCAS
2007
IEEE
15 years 11 months ago
2007
IEEE
— We propose Differential Power Analysis (DPA) with a phase-based waveform matching technique. Conventionally, a trigger signal and a system clock are used to capture the wavefor...
130
click to vote
WCET
2007
15 years 5 months ago
2007
For component-based systems, classical techniques for Worst-Case Execution Time (WCET) estimation produce unacceptable overestimations of a components WCET. This is because softwa...