913 search results - page 122 / 183 » Full Abstraction for Linda |
CORR
2007
Springer
13 years 9 months ago
2007
Springer
Abstract—Capacity improvement from transmitter and receiver cooperation is investigated in a two-transmitter, two-receiver network with phase fading and full channel state inform...
JSAC
2008
13 years 9 months ago
2008
Abstract-- In this paper, we examine the uplink of a cooperative CDMA network, where users cooperate by relaying each other's messages to the base station. When spreading wave...
KES
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Conventional tabletop systems have focused on communication with virtual data, using phicons or physical objects as handles. This approach is versatile, given the full us...
JOLLI
2006
13 years 9 months ago
2006
Abstract. In this paper we study families of resource aware logics that explore resource restriction on rules; in particular, we study the use of controlled cut-rule and introduce ...
ENTCS
2007
13 years 9 months ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...