554 search results - page 38 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
132
click to vote
KI
2007
Springer
16 years 8 days 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...
184
click to vote
GLOBECOM
2007
IEEE
16 years 14 days 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...
163
click to vote
IPPS
2010
IEEE
15 years 4 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...
152
click to vote
CORR
2008
Springer
15 years 6 months 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...
208
click to vote
FMOODS
2007
15 years 7 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...