3771 search results - page 22 / 755 » Subobject Transformation Systems |
FMCAD
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Transformation-based verification has been proposed to synergistically leverage various transformations to successively simplify and decompose large problems to ones whic...
CBMS
2003
IEEE
14 years 20 days ago
2003
IEEE
This paper presents the MultiWaveMed system, which is a new software allowing to index and retrieve medical images through the comparison of their texture features. The features a...
ENTCS
2008
13 years 7 months ago
2008
We describe a method for proving the termination of graph transformation systems. The method is based on the fact that infinite reductions must include infinite `creation chains&#...
ECBS
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper we argue for UML-based metamodeling and pattern-based graph transformation techniques in computer-based systems development through an illustrative example from the ...
FOIS
2001
13 years 8 months ago
2001
- It is no secret that the multidisciplinary sphere of information systems has borrowed the term `ontology' from philosophy, and reinterpreted it to be more suitable for infor...