307 search results - page 54 / 62 » Towards Integrated Verification of Timed Transition Models |
OTM
2005
Springer
14 years 1 months ago
2005
Springer
In this paper, we propose a framework supporting dynamic interoperation between heterogeneous workflow systems and workflow-based dynamic Enterprise Application Integration (EAI)....
CVPR
2006
IEEE
14 years 9 months ago
2006
IEEE
Many tracking methods face a fundamental dilemma in practice: tracking has to be computationally efficient but verifying if or not the tracker is following the true target tends t...
FPGA
2003
ACM
14 years 28 days ago
2003
ACM
This paper describes the hardware implementation of a real-time, large-scale, multi-chip FPGA (Field Programmable Gate Array) based emulation engine with a capacity of 10 million ...
KDD
2009
ACM
14 years 8 months ago
2009
ACM
Motivation: Data centers are a critical component of modern IT infrastructure but are also among the worst environmental offenders through their increasing energy usage and the re...
IEEESCC
2005
IEEE
14 years 1 months ago
2005
IEEE
The paradigm of automated e-service composition through the integration of existing services promises a fast and efficient development of new services in cooperative business env...