Sciweavers

4074 search results - page 160 / 815
» Abstract Graph Transformation
Sort
View
117
Voted
ISCOPE
1999
Springer
15 years 6 months ago
Generic Graph Algorithms for Sparse Matrix Ordering
Fill-reducing sparse matrix orderings have been a topic of active research for many years. Although most such algorithms are developed and analyzed within a graph-theoretical frame...
Lie-Quan Lee, Jeremy G. Siek, Andrew Lumsdaine
MTSR
2007
Springer
15 years 8 months ago
Formalizing Dublin Core Application Profiles - Description Set Profiles and Graph Constraints
Abstract. This paper describes a proposed formalization of the notion of Applications Profiles as used in the Dublin Core community. The formalization, called Description Set Profi...
Mikael Nilsson, Alistair J. Miles, Pete Johnston, ...
ICCS
2010
Springer
15 years 13 days ago
Translations between RDF(S) and Conceptual Graphs
Though similarities between the Semantic Web language RDF(S) and languages of the Conceptual Graphs family have often been pointed out, the differences between these formalisms hav...
Jean-François Baget, Madalina Croitoru, Ala...
HICSS
2007
IEEE
94views Biometrics» more  HICSS 2007»
15 years 8 months ago
Towards Model Transformation Generation By-Example
— With the advent of Model-Driven Engineering (MDE) several model transformation approaches and languages have been developed in the last 5 years. Most of these existing approach...
Manuel Wimmer, Michael Strommer, Horst Kargl, Gerh...
FOAL
2007
ACM
15 years 5 months ago
Requirement enforcement by transformation automata
The goal of this work is to treat safety and security policies as requirements to be composed in an aspectual style with a developing application. Policies can be expressed either...
Douglas R. Smith