Sciweavers

38 search results - page 4 / 8
» gg 2008
Sort
View
GG
2008
Springer
13 years 11 months ago
Labelled (Hyper)Graphs, Negotiations and the Naming Problem
We consider four different models of process interactions that unify and generalise models introduced and studied by Angluin et al. [AAD+ 04] and models introduced and studied by ...
Jérémie Chalopin, Antoni W. Mazurkie...
GG
2008
Springer
13 years 11 months ago
Open Petri Nets: Non-deterministic Processes and Compositionality
We introduce ranked open nets, a reactive extension of Petri nets which generalises a basic open net model introduced in a previous work by allowing for a refined notion of interf...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Bar...
DM
2002
76views more  DM 2002»
13 years 9 months ago
Chromaticity of some families of dense graphs
For a graph G, let P(G; ) be its chromatic polynomial and let [G] be the set of graphs having P(G; ) as their chromatic polynomial. We call [G] the chromatic equivalence class of ...
Feng Ming Dong, Kee L. Teo, Charles H. C. Little, ...
VTC
2008
IEEE
14 years 4 months ago
On the Capacity of Generalized Fading/Shadowing Channels
Abstract—In this paper the Shannon capacity of generalizedgamma (GG) fading channels is studied, under different adaptive transmission techniques. The GG is a generic distributio...
Petros S. Bithas, P. Takis Mathiopoulos, Stavros A...
GG
2008
Springer
13 years 11 months ago
Formal Analysis of Model Transformations Based on Triple Graph Rules with Kernels
Abstract. Triple graph transformation has become an important approach for model transformations. Triple graphs consist of a source, a target and a connection graph. The correspond...
Hartmut Ehrig, Ulrike Prange