5525 search results - page 206 / 1105 » Verification of Model Transformations |
130
Voted
PAMI
2002
15 years 3 months ago
2002
A modular system to recognize handwritten numerical strings is proposed. It uses a segmentation-based recognition approach and a Recognition and Verification strategy. The approach...
120
click to vote
CDC
2010
IEEE
14 years 10 months ago
2010
IEEE
We extend an existing model-based framework for supervisory control synthesis with generalized control and verification state-based requirements. The former stem from the need for ...
129
click to vote
ENTCS
2006
15 years 3 months ago
2006
Abstract. In this paper, we discuss the semantics of BPEL4WS language which is a de facto standard for specifying and execution workflow specification for web service composition a...
IFIP
2009
Springer
15 years 1 months ago
2009
Springer
A multi-party contract signing (MPCS) protocol is used for a group of signers to sign a digital contract over a network. We analyse the protocols of Mukhamedov and Ryan (MR), and o...
126
click to vote
ICIAP
2007
ACM
16 years 3 months ago
2007
ACM
Transformation of image patches is a common requirement for 2D transition animations such as shape interpolation and image morphing. It is usually done by applying affine transfor...