426 search results - page 41 / 86 » Towards Verifying Model Transformations |
EDOC
2004
IEEE
14 years 1 months ago
2004
IEEE
The era of distributed systems is upon us. Middlewarespecific concerns, and especially the distribution concern, which is the core of any middleware-mediated application, are addr...
CCGRID
2001
IEEE
14 years 1 months ago
2001
IEEE
The Compute Power Market (CPM) is a market-based resource management and job scheduling system for grid computing on Internet-wide computational resources, particularly low-end pe...
205
click to vote
CVPR
2012
IEEE
11 years 12 months ago
2012
IEEE
A novel approach for event summarization and rare event detection is proposed. Unlike conventional methods that deal with event summarization and rare event detection independently...
ICPR
2006
IEEE
14 years 3 months ago
2006
IEEE
Non-rigid shape registration is an important issue in computer vision. In this paper we propose a novel globalto-local procedure for aligning non-rigid shapes. The global similari...
WSCG
2004
13 years 11 months ago
2004
Determining the position and orientation of a workpiece relative to a manufacturing device is a prerequisite for machining path planning. If the workpiece is freeform and if it co...