1833 search results - page 347 / 367 » Mechanized Verification with Sharing |
ICPADS
2002
IEEE
14 years 3 months ago
2002
IEEE
Abstract— Content replication and distribution is an effective technology to reduce the response time for web accesses and has been proven quite popular among large Internet cont...
GECCO
2010
Springer
14 years 3 months ago
2010
Springer
Within nature, the success of many organisms, including certain species of insects, mammals, slime molds, and bacteria, is attributed to their performance of division of labor, wh...
ICS
2009
Tsinghua U.
14 years 3 months ago
2009
Tsinghua U.
ABSTRACT Because of technology advances power consumption has emerged up as an important design issue in modern high-performance microprocessors. As a consequence, research on redu...
IICS
2009
Springer
14 years 3 months ago
2009
Springer
: This article describes the use of a service-oriented architecture to bridge the gap between different eLearning types and tools. The basic concept is a bi-directional distributio...
ICNP
2000
IEEE
14 years 3 months ago
2000
IEEE
The majority of the traffic (bytes) flowing over the Internet today have been attributed to the Transmission Control Protocol (TCP). This strong presence of TCP has recently spu...