6660 search results - page 456 / 1332 » Highly-Available Application Integration |
192
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we describe techniques for the specification and verification of model transformations using a combination of UML and formal methods. The use of UML 2 notations to s...
233
click to vote
ICRA
2010
IEEE
15 years 4 months ago
2010
IEEE
In this paper, we present a component-based visual object tracker for mobile platforms. The core of the technique is a component-based descriptor that captures the structure and ap...
189
click to vote
ICIP
2005
IEEE
16 years 8 months ago
2005
IEEE
Robustness and accuracy are major issues in real-time tracking. This paper describes a reliable tracking for markerless planar objects based on the fusion of visual cues and on th...
260
click to vote
ICDE
2003
IEEE
16 years 8 months ago
2003
IEEE
We demonstrate the Lixto Suite, a web data extraction and transformation software kit for retrieving and converting information from various sources to various customer devices. W...
183
click to vote
SIGSOFT
2001
ACM
16 years 7 months ago
2001
ACM
Prior research in software environments focused on three important problems-- tool integration, artifact management, and process guidance. The context for that research, and hence...