A possible measure of quality for any model or methodology is the degree of acceptance and usage. This paper discusses the factors that contribute to the industrial acceptability o...
This paper describes a set of techniques developed for the visualization of high-resolution volume data generated from industrial computed tomography for nondestructive testing (N...
Runzhen Huang, Kwan-Liu Ma, Patrick S. McCormick, ...
Model checking of software has been a very active research topic recently. As a result, a number of software model checkers have been developed for analysis of software written in ...
The Internet has had a significant impact on the process of developing information systems. However, there has been little research that has examined specifically the role of deve...
World steel trade becomes more competitive every day and new high international quality standards and productivity levels can only be achieved by applying the latest computational...