293 search results - page 18 / 59 » From Systems to Components: Constructive Methods for Product... |
ICEIS
2005
IEEE
14 years 2 months ago
2005
IEEE
Electrical and mechanical equipment such as gearboxes in an industrial robot or electronic circuits in an industrial printer sometimes fail to operate as intended. The faulty compo...
AMC
2005
13 years 8 months ago
2005
A class of efficient preconditioners based on Daubechies family of wavelets for sparse, unsymmetric linear systems that arise in numerical solution of Partial Differential Equatio...
SMI
2007
IEEE
14 years 2 months ago
2007
IEEE
We present two complementary methods for automatically improving mesh parameterizations and demonstrate that they provide a very desirable combination of efficiency and quality. ...
WCE
2007
13 years 9 months ago
2007
—Surface wave method can be used to determine the properties of the component materials of a pavement structure. The measurements are made of the differences in the phase of a wa...
FM
2006
Springer
14 years 7 days ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...