7009 search results - page 1250 / 1402 » Patterns in Complex Systems Modeling |
ASYNC
2007
IEEE
15 years 2 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
CVPR
2009
IEEE
15 years 1 months ago
2009
IEEE
One promising approach to remove motion deblurring is to recover one clear image using an image pair. Existing dual-image methods require an accurate image alignment between the i...
DEXA
2006
Springer
15 years 1 months ago
2006
Springer
Recent work on continuous queries has focused on processing queries in very large, mobile environments. In this paper, we propose a system leveraging the computing capacities of mo...
FMCAD
2006
Springer
15 years 1 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
ICSE
2000
IEEE-ACM
15 years 1 months ago
2000
IEEE-ACM
Requirements engineering (RE) is concerned with the identification of the goals to be achieved by the envisioned system, the operationalization of such goals into services and con...