1123 search results - page 19 / 225 » Analysis of Timed Processes with Data Using Algebraic Transf... |
165
click to vote
TII
2011
14 years 6 months ago
2011
Abstract—Software systems that do not meet their timing constraints can cause risks. In this work, we propose a comprehensive method for assessing the risk of timing failure by e...
MVA
1990
15 years 26 days ago
1990
This paper presents an image processing method for locating underground linear objects using ground-probing radar data. One of the problems when using groundprobing radars is how ...
110
click to vote
AFPAC
2000
Springer
15 years 4 months ago
2000
Springer
In signal processing, the approach of the analytic signal is a capable and often used method. For signals of finite length, quadrature filters yield a bandpass filtered approxim...
102
click to vote
IV
2007
IEEE
15 years 6 months ago
2007
IEEE
For decades, financial analysts have strived to use modern data visualization tools to improve the timeliness and quality of their analysis. As the amount of data to be processed ...
100
click to vote
EUROMICRO
2007
IEEE
15 years 1 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...