554 search results - page 38 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
77
Voted
KI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Interaction means to share a communicative space with others. Social interactions are reciprocally-oriented activities among currently present partners. An artificial sy...
124
Voted
GLOBECOM
2007
IEEE
15 years 7 months ago
2007
IEEE
Abstract— We investigate the outage behavior of multipleantenna slowly fading channels with resolution constrained feedback and partial power control. A fixed-rate communication...
103
Voted
IPPS
2010
IEEE
14 years 10 months ago
2010
IEEE
Abstract--This paper explores the computation and communication overlap capabilities enabled by the new CORE-Direct hardware capabilities introduced in the InfiniBand (IB) Host Cha...
85
Voted
CORR
2008
Springer
15 years 21 days ago
2008
Springer
Abstract--We investigate the relay selection problem in a network where users are able to collaborate with each other; decode and forward the messages of each other along with thei...
134
Voted
FMOODS
2007
15 years 2 months ago
2007
Abstract. A session type is an abstraction of a sequence of heterogeneous values sent over one channel between two communicating processes. Session types have been introduced to gu...