9821 search results - page 269 / 1965 » A Framework for the Development of Protocols |
172
click to vote
INFOCOM
2007
IEEE
16 years 1 months ago
2007
IEEE
— Traditional Physical Carrier Sensing (PCS), which aims at eliminating hidden terminals in wireless networks, causes too many exposed terminals and deteriorates the throughput p...
140
click to vote
LCN
2005
IEEE
16 years 10 days ago
2005
IEEE
This paper describes a new network device to be located in network edge nodes. The device can deal with congestion conditions that may arise when, for example, a home or SME custo...
245
click to vote
IDEAS
1999
IEEE
15 years 11 months ago
1999
IEEE
In this paper, we introduce a probabilistic relational data model as the basis for developing multi-agent probabilistic reasoning systems. Since our model subsumes the traditional...
190
click to vote
RTSS
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper describes design and implementation of L ATM, an ATM (Asynchronous Transfer Mode) based networking server. While ATM emphasizes deterministic highspeed communication, a...
241
click to vote
FMCO
2009
Springer
15 years 4 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...