753 search results - page 103 / 151 » Fragments-based Model Reduction: Some Case Studies |
TCS
2008
13 years 7 months ago
2008
The aim of the paper is to give a compositional semantics in the style of the Structural Operational Semantics (SOS) and to study behavioral equivalence notions for P Systems. Fir...
SIGACT
2010
13 years 2 months ago
2010
Over the past decade, there has been great interest in the study of buffer management policies in the context of packet transmission for network switches. In a typical model, a sw...
CORR
2011
Springer
12 years 11 months ago
2011
Springer
—A state-dependent relay channel is studied in which strictly causal channel state information is available at the relay and no state information is available at the source and d...
INFOCOM
1995
IEEE
13 years 11 months ago
1995
IEEE
Establishing a multicast tree in a point-to-point network of switch nodes, such as a wide-area ATM network, is often modeled as the NP-complete Steiner problem in networks. In thi...
PERCOM
2008
ACM
14 years 7 months ago
2008
ACM
The field of pervasive computing has seen a lot of exciting innovations in the past few years. However, there are currently no mechanisms for describing the properties and capabil...