1833 search results - page 207 / 367 » Mechanized Verification with Sharing |
186
click to vote
DAIS
2007
15 years 8 months ago
2007
Today, one can observe an ever increasing trend in the use of mobile systems. This change inevitably affects the software running on such devices by necessitating additional functi...
165
click to vote
NETWORKING
2008
15 years 8 months ago
2008
In this article, we provide mechanisms enabling the backup path computation to be performed on-line and locally by the Points of Local Repair (PLRs), in the context of the MPLS-TE ...
205
click to vote
LWA
2007
15 years 8 months ago
2007
Web 2.0 applications like Flickr, YouTube, or Del.icio.us are increasingly popular online communities for creating, editing and sharing content. However, the rapid increase in siz...
162
click to vote
IC
2004
15 years 8 months ago
2004
This work considers the problem of prioritizing the inbound TCP traffic of an organization network. The objective is to allocate dynamically a specific share of the incoming link ...
199
click to vote
COMCOM
2008
15 years 6 months ago
2008
Performance of the TCP Congestion Control Algorithm has been the focus of research over the last decade. In this paper we propose modifications to TCP Congestion Control to improv...