687 search results - page 123 / 138 » Specification and Verification of Model Transformations Usin... |
IJISMD
2010
13 years 6 months ago
2010
UML is now widely accepted as the standard modeling language for software construction. The Class Diagram is its core view, having well formed semantics and providing the backbone...
INFOCOM
1999
IEEE
14 years 1 months ago
1999
IEEE
This paper studies mobile-generated traffic distributions in mobile ATM networks and evaluates the performance of path rerouting algorithms for handoff control. In mobile ATM netwo...
CVIU
2010
13 years 9 months ago
2010
We consider the self-calibration problem for the generic imaging model that assigns projection rays to pixels without a parametric mapping. In this paper, we consider the central ...
ECCV
2008
Springer
14 years 10 months ago
2008
Springer
Abstract. Affine registration has a long and venerable history in computer vision literature, and extensive work have been done for affine registrations in IR2 and IR3 . In this pa...
ICSE
2008
IEEE-ACM
14 years 9 months ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...