1357 search results - page 83 / 272 » Compositionality in Graph Transformation |
116
click to vote
SAS
2007
Springer
15 years 9 months ago
2007
Springer
Denotational static analysis of Java bytecode has a nice and clean compositional definition and an efficient implementation with binary decision diagrams. But it models only the f...
118
click to vote
GD
2005
Springer
15 years 9 months ago
2005
Springer
TreePlus is a graph browsing technique based on a tree-style layout. It shows the missing graph structure using interaction techniques and enables users to start with a specific no...
124
Voted
VL
1999
IEEE
15 years 7 months ago
1999
IEEE
We present new pragmatic constructs for easing programming in visual graph rewriting programming languages. The first is a modification to the rewriting process for nodes the host...
137
Voted
FEDCSIS
2011
14 years 3 months ago
2011
—Collaborative mechanisms between services are a crucial aspect in the recent development of pervasive computing systems based on the paradigm of service-oriented architecture. C...
EVOW
2007
Springer
15 years 9 months ago
2007
Springer
We present a time domain approach to explore a sound transformation paradigm for musical performance. Given a set of sounds containing a priori desired qualities and a population o...