4198 search results - page 74 / 840 » In search of lost time |
160
click to vote
DSN
2006
IEEE
15 years 12 months ago
2006
IEEE
This paper addresses the problem of fault resilience of overlay-based live media streaming from two aspects: (1) how to construct a stable multicast tree that minimizes the negati...
164
click to vote
INFOCOM
2006
IEEE
15 years 12 months ago
2006
IEEE
Abstract— This paper presents how SCTP can stall in multihomed scenarios during failover and under certain circumstances. A stall is where an SCTP end-point ceases to communicate...
137
click to vote
DATE
2005
IEEE
15 years 11 months ago
2005
IEEE
It is a hot research topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. The BFL algorithm is the most effective counterexample minimi...
137
click to vote
TACAS
2005
Springer
15 years 11 months ago
2005
Springer
Shorter counterexamples are typically easier to understand. The length of a counterexample, as reported by a model checker, depends on both the algorithm used for state space explo...
164
click to vote
PKDD
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a new research proposal of multi-document summarization of dynamic content in web pages. Much information is lost in the Web due to the temporal character of w...