3984 search results - page 598 / 797 » A Model-Driven Transformation Method |
123
click to vote
SAS
2007
Springer
15 years 11 months ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
145
click to vote
APSEC
2006
IEEE
15 years 11 months ago
2006
IEEE
Testing for time-related behaviors of PLC software is important and should be performed carefully. We propose a structural testing technique on Function Block Diagram(FBD) network...
131
Voted
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
The bursting of the e-bubble affected expectations with regard to mobile initiatives and willingness to invest in them very negatively. In both academia and practice, there has re...
158
click to vote
ICDM
2006
IEEE
15 years 11 months ago
2006
IEEE
Current outlier detection schemes typically output a numeric score representing the degree to which a given observation is an outlier. We argue that converting the scores into wel...
164
click to vote
ICMCS
2006
IEEE
15 years 11 months ago
2006
IEEE
The distribution of the wavelet coefficients in 2-D discrete wavelet transform (DWT) subspaces can be well described by a Gaussian mixture statistical model. In this paper, a secr...