1357 search results - page 70 / 272 » Compositionality in Graph Transformation |
126
click to vote
ASIAN
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. A major difficulty for tracking information flow in multithreaded programs is due to the internal timing covert channel. Information is leaked via this channel when secre...
130
click to vote
IJCIS
2006
15 years 3 months ago
2006
of modern businesses, separation of concern mechanisms and abstractions are needed. iven development (MDD) approaches utilize abstraction and transformation to handle ty. In MDD, s...
151
Voted
ECCC
2010
14 years 10 months ago
2010
Trevisan [Tre03] suggested a transformation that allows amplifying the error rate a code can handle. We observe that this transformation, that was suggested in the non-local setti...
146
click to vote
FASE
2005
Springer
15 years 8 months ago
2005
Springer
Graphs are a common means to represent structures in models and meta-models of software systems. In this context, the description of model domains by classifying the domain entitie...
123
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
Graph transformation is concerned with the manipulation of graphs by means of rules. Graph grammars have been traditionally studied using techniques from category theory. In previ...