Sciweavers

3984 search results - page 668 / 797
» A Model-Driven Transformation Method
Sort
View
DASFAA
2007
IEEE
266views Database» more  DASFAA 2007»
15 years 10 months ago
Compatibility Analysis and Mediation-Aided Composition for BPEL Services
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
Wei Tan, Fangyan Rao, Yushun Fan, Jun Zhu
DATE
2007
IEEE
102views Hardware» more  DATE 2007»
15 years 10 months ago
Efficient testbench code synthesis for a hardware emulator system
: - The rising complexity of modern embedded systems is causing a significant increase in the verification effort required by hardware designers and software developers, leading to...
Ioannis Mavroidis, Ioannis Papaefstathiou
HICSS
2007
IEEE
164views Biometrics» more  HICSS 2007»
15 years 10 months ago
Supporting Knowledge Transfer through Decomposable Reasoning Artifacts
Technology to support knowledge transfer and cooperative inquiry must offer its users the ability to effectively interpret knowledge structures produced by collaborators. Communic...
William Pike, Richard May, Alan Turner
HPCS
2007
IEEE
15 years 10 months ago
Nonlinear Simulation of Thermo-viscous Fingering in Miscible Displacements in Porous Media
The nonlinear simulation of interfacial instabilities in miscible displacements in porous media often requires sophisticated numerical algorithms as well as very fine spatial and ...
M. N. Islam, B. B. Maini, J. Azaiez
ICASSP
2007
IEEE
15 years 10 months ago
Shot Classification of Basketball Videos and its Application in Shooting Position Extraction
In this paper, we propose a system that can automatically segment a basketball video into several clips on the basis of a GOP-based scene change detection method. The length of ea...
Ming-Chun Tien, Hua-Tsung Chen, Yi-Wen Chen, Ming-...