3771 search results - page 222 / 755 » Subobject Transformation Systems |
136
click to vote
MOMPES
2008
IEEE
15 years 10 months ago
2008
IEEE
Model-driven engineering (MDE) addresses platform complexity issues by abstracting platformindependent models for subsequent transformation to platform-specific models. This faci...
144
Voted
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Software architecture constitutes a promising approach to the development of large-scale distributed systems, but architecture description languages (ADLs) and their asso...
157
click to vote
IEICET
2007
15 years 3 months ago
2007
The completeness (i.e. confluent and terminating) property is an important concept when using a term rewriting system (TRS) as a computational model of functional programming lang...
137
click to vote
JUCS
2007
15 years 3 months ago
2007
: Motion estimation from image sequences is a complex problem which requires high computing resources and is highly affected by changes in the illumination conditions in most of th...
126
click to vote
CADE
2006
Springer
16 years 4 months ago
2006
Springer
Abstract. Semantic labelling is a transformational technique for proving termination of Term Rewriting Systems (TRSs). Only its variant with finite sets of labels was used so far i...