9405 search results - page 1131 / 1881 » Computing a Model of Set Theory |
219
click to vote
ICNP
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper evaluates the congestion control performance of Pseudofed, a congestion-controlled, reliable multicast transport protocol for bulk data transfer. Pseudofed's conge...
215
click to vote
SCCC
1998
IEEE
15 years 11 months ago
1998
IEEE
Frameworks promote design and code reuse, at a higher level of granularity. The use of frameworks is a hard task though, because usually they lack documentation and instructions o...
218
click to vote
APNOMS
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, an adaptive soft handoff algorithm, which dynamically calculates the threshold values for soft handoff based on the received signal strength, is proposed for mobile ...
192
click to vote
CONCUR
2006
Springer
15 years 11 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
195
click to vote
AIMS
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. This paper addresses the problem of specifying and establishing secure collaborations between autonomous entities that need to interact and depend on each other in order ...