12981 search results - page 2506 / 2597 » Model Checking and Abstraction |
100
click to vote
GLOBECOM
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract— We study the effect of the field size on the performance of random linear network coding for time division duplexing channels proposed in [1]. In particular, we study ...
110
click to vote
ICEIS
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract. In the Web environment, rich, diverse sources of heterogeneous and distributed data are ubiquitous. In fact, even the information characterizing a single entity - like, f...
122
click to vote
ICNP
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—Multipath streaming protocols have recently attracted much attention because they provide an effective means to provide high-quality streaming over the Internet. However...
110
click to vote
ICPP
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—We present LeWI: a novel load balancing algorithm, that can balance applications with very different patterns of imbalance. Our algorithm can balance fine grain imbalan...
115
click to vote
ICSM
2009
IEEE
15 years 8 months ago
2009
IEEE
Modeling the navigation structure of a dynamic web application is a challenging task because of the presence of dynamic pages. In particular, there are two problems to be dealt wi...