687 search results - page 24 / 138 » Specification and Verification of Model Transformations Usin... |
113
Voted
ISSRE
2000
IEEE
15 years 4 months ago
2000
IEEE
The Unified Modeling Language, UML, is the objectoriented notation adopted as the standard for objectoriented Analysis and Design by the Object Management Group. This paper report...
99
Voted
CORR
2010
Springer
15 years 16 days ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
102
click to vote
WER
2001
Springer
15 years 4 months ago
2001
Springer
Workflow technology has reached a reasonable degree of maturity, with a number of both research prototypes and commercial systems available. However, methodological issues have rec...
135
click to vote
ICDAR
2003
IEEE
15 years 5 months ago
2003
IEEE
This paper presents a novel approach to the on-line signature verification using local shape Analysis. First, segment the input signature into several segments using HMM (Hidden M...
104
Voted
IJCIS
2006
15 years 13 days ago
2006
of modern businesses, separation of concern mechanisms and abstractions are needed. iven development (MDD) approaches utilize abstraction and transformation to handle ty. In MDD, s...