1716 search results - page 143 / 344 » Proving Conditional Termination |
CORR
2008
Springer
13 years 9 months ago
2008
Springer
This paper studies the performance of hybrid-ARQ (automatic repeat request) in Rayleigh blockfading channels. The long-term average transmitted rate is analyzed in a fast-fading s...
BMCBI
2006
13 years 9 months ago
2006
Background: Neuronal communication is tightly regulated in time and in space. The neuronal transmission takes place in the nerve terminal, at a specialized structure called the sy...
CN
2006
13 years 9 months ago
2006
RDF is one of the technologies proposed to realise the vision of the Semantic Web and it is being increasingly used in distributed web-based applications. The use of RDF in applic...
IJCSA
2006
13 years 9 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
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...