4693 search results - page 801 / 939 » Verifying Hybrid Systems |
93
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— Generalized selection multiuser diversity (GSMuD) is a new scheduling scheme which provides a near-optimal low-complexity solution to parallel access multiuser scheduling. In t...
105
Voted
ICC
2007
IEEE
15 years 7 months ago
2007
IEEE
— Content Delivery Overlays improves end-user performance by replicating Web contents on a group of geographically distributed sites interconnected over the Internet. However, wi...
ICCCN
2007
IEEE
15 years 7 months ago
2007
IEEE
—The observed performance by individual peers in BitTorrent can be simply measured by their average download rate. While it is often stated that the observed peer-level performan...
105
Voted
ICDCS
2007
IEEE
15 years 7 months ago
2007
IEEE
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
98
Voted
ICEBE
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper investigates profit optimisation by the partitioning of server pools. Different types of web requests are considered in this paper: best-effort requests and multi-class...