689 search results - page 41 / 138 » A Modal-Logic Based Graph Abstraction |
CVPR
2000
IEEE
14 years 12 months ago
2000
IEEE
There has recently been significant interest in using repions based on abstractions of Blum's skeleton into a graph, for qualitative shape matching. The application of these ...
ICMT
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Pattern-based model-to-model transformation is a new approach for specifying transformations in a declarative, relational and formal style. The language relies on pattern...
VISSOFT
2005
IEEE
14 years 3 months ago
2005
IEEE
The paper presents and assesses a layout scheme for UML class diagrams that takes into account the architectural importance of a class in terms of its stereotype (e.g., boundary, ...
FORMATS
2004
Springer
14 years 3 months ago
2004
Springer
We propose an effective and complete method for verifying safety and properties of timed systems, which is based on predicate abstraction for g finite abstractions of timed autom...
WICSA
2004
13 years 11 months ago
2004
In this paper, we address the correct refinement of abstract architectural models into more platformspecific representations. We consider the challenging case of dynamic architect...