1357 search results - page 83 / 272 » Compositionality in Graph Transformation |
146
click to vote
SAS
2007
Springer
16 years 8 days 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...
150
click to vote
GD
2005
Springer
15 years 11 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...
158
click to vote
VL
1999
IEEE
15 years 10 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...
173
click to vote
FEDCSIS
2011
14 years 5 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...
119
click to vote
EVOW
2007
Springer
16 years 9 days 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...