554 search results - page 21 / 111 » Abstraction of Communication Channels in Promela: A Case Stu... |
155
click to vote
ICC
2007
IEEE
16 years 12 days ago
2007
IEEE
— This paper studies performance of space-time coded (STC) systems with joint transmit and receive antenna selection over multiple input multiple output (MIMO) flat and frequenc...
223
Voted
FMCO
2009
Springer
15 years 3 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
143
Voted
WWW
2003
ACM
16 years 6 months ago
2003
ACM
d Abstraction for Messaging on the Semantic Web Dennis Quan IBM Internet Technology 1 Rogers Street Cambridge, MA 02142 USA dennisq@us.ibm.com Karun Bakshi MIT Artificial Intellige...
177
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Abstract-- In this paper, we investigate communication strategies for the multiple access channel with feedback and correlated sources (MACFCS). The MACFCS models a wireless sensor...
173
click to vote
EWSN
2004
Springer
16 years 5 months ago
2004
Springer
Abstract. We propose a model for communication in single-hop wireless sensor networks and define and evaluate the performance of a robust, energy balanced protocol for a powerful a...