1357 search results - page 107 / 272 » Compositionality in Graph Transformation |
170
click to vote
COLCOM
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
151
Voted
PADS
2004
ACM
15 years 9 months ago
2004
ACM
We investigated the benefit of exploiting the symmetries of graphs for partitioning. We represent the model to be simulated by a weighted graph. Graph symmetries are studied in th...
111
click to vote
FMCAD
2006
Springer
15 years 7 months ago
2006
Springer
We formally define--at the stream transformer level--a class of synchronous circuits that tolerate any variability in the latency of their environment. We study behavioral properti...
130
Voted
FORMATS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...
119
Voted
ROOM
2000
15 years 4 months ago
2000
This paper proposes a new calculus for expressing the behaviour of object-oriented systems. The semantics of the calculus is given in terms of operators from computational categor...