54 search results - page 5 / 11 » On the Expressiveness of Forwarding in Higher-Order Communic... |
TOPLAS
2010
14 years 8 months ago
2010
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
86
Voted
GLOBECOM
2009
IEEE
14 years 8 months ago
2009
IEEE
In this paper, we establish a rate duality between the forward and reverse links of MIMO interference channel, where the reverse links are obtained by exchanging the roles of trans...
98
Voted
TACS
1994
Springer
15 years 2 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...
100
Voted
FM
2006
Springer
15 years 1 months ago
2006
Springer
Formal modeling is a crucial first step in the analysis of safety critical communication protocols such as IP Telephony. These protocols are notoriously resistant to formal modelin...
98
Voted
WCNC
2010
IEEE
15 years 2 months ago
2010
IEEE
—In this paper, the mutual cooperative communication between multiple nodes in a wireless network is efficiently achieved through a novel concept of Space-Time Network Coding (S...