Sciweavers

5525 search results - page 64 / 1105
» Verification of Model Transformations
Sort
View
ANSS
2005
IEEE
14 years 11 months ago
Simulation Verification and Validation by Dynamic Policy Enforcement
Wei-Tek Tsai, Xinxin Liu, Yinong Chen, Raymond A. ...
DAC
2004
ACM
15 years 10 months ago
Sparse transformations and preconditioners for hierarchical 3-D capacitance extraction with multiple dielectrics
Capacitance extraction is an important problem that has been extensively studied. This paper presents a significant improvement for the fast multipole accelerated boundary element...
Shu Yan, Vivek Sarin, Weiping Shi
ICPR
2002
IEEE
15 years 2 months ago
A New Approach for Line Recognition in Large-size Images Using Hough Transform
The application of Hough Transform (HT) has been limited to small-size images for a long time. For large-size images, the peak detection and the line verification become much more...
Jiqiang Song, Min Cai, Michael R. Lyu, Shijie Cai
CAISE
2006
Springer
15 years 1 months ago
A Method for Functional Alignment Verification in Hierarchical Enterprise Models
Enterprise modeling involves multiple domains of expertise: requirements engineering, business process modeling, IT development etc. Our experience has shown that hierarchical ente...
Irina Rychkova, Alain Wegmann