3013 search results - page 31 / 603 » Context-Oriented Domain Analysis |
110
Voted
SOSYM
2010
14 years 11 months ago
2010
In this paper we present an approach for the analysis of graph transformation rules based on an intermediate OCL representation. We translate different rule semantics into OCL, to...
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
Nowadays, digital pictures are usually captured at very high resolution ranged up to 12 mega-pixels. Limited by low-resolution display, we have to shrink the image. Signal process...
109
click to vote
AGP
1995
IEEE
15 years 4 months ago
1995
IEEE
The main difficulty in the formalization of a static analysis framework for CC programs is probably related to the correct approximation of the entailment relation between constrai...
103
click to vote
NAR
2000
15 years 8 days ago
2000
The ASTRAL compendium provides several databases and tools to aid in the analysis of protein structures, particularly through the use of their sequences. The SPACI scores included...
146
Voted
CORR
2010
Springer
14 years 11 months ago
2010
Springer
Graphs and graph transformation systems are a frequently used modelling technique for a wide range of different domains, covering areas as diverse as refactorings, network topolog...