4074 search results - page 169 / 815 » Abstract Graph Transformation |
106
click to vote
GG
2010
Springer
15 years 3 months ago
2010
Springer
el of abstraction). Refereed Conference and Workshop Papers
135
Voted
MMSP
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—Feature extraction is a key issue in contentbased image retrieval (CBIR). In the past, a number of texture features have been proposed in literature, including statistic...
101
Voted
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Alloy is a formal language, which has been applied to modelling of systems in a wide range of application domains. It is supported by Alloy Analyzer, a tool, which allows...
115
click to vote
ECMDAFA
2005
Springer
15 years 7 months ago
2005
Springer
Model-Integrated Computing (MIC) is an approach to Model-Driven Architecture (MDA), which has been developed primarily for embedded systems. MIC places strong emphasis on the use o...
138
click to vote
ER
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...