5525 search results - page 521 / 1105 » Verification of Model Transformations |
178
click to vote
JCIT
2010
15 years 2 months ago
2010
As a new paradigm for data warehousing demanded by today's decision support community, DW 2.0 recognized the life cycle of data with it, that make metadata evolution mechanis...
207
click to vote
ICDAR
2011
IEEE
14 years 6 months ago
2011
IEEE
—This paper presents a new method for localization of digit strings with a specific syntax in Farsi/ Arabic document images. First, some features are extracted from all connected...
213
click to vote
UML
2005
Springer
16 years 20 days ago
2005
Springer
Abstract. Aspect-Oriented Modeling (AOM) techniques allow software designers to isolate and address separately solutions for crosscutting concerns (such as security, reliability, n...
241
click to vote
ECMDAFA
2005
Springer
16 years 21 days ago
2005
Springer
The model-driven software development for hard real-time systems promotes the usage of the platform independent model as major design artifact. It is used to develop the software l...
234
click to vote
SCESM
2006
ACM
16 years 1 months ago
2006
ACM
Requirements models for large systems typically cannot be developed in a single step, but evolve in a sequence of iterations. We have developed such an iterative modeling process ...