2940 search results - page 497 / 588 » Relational Parametricity and Control |
SIGMETRICS
2005
ACM
15 years 3 months ago
2005
ACM
The growing cost of tuning and managing computer systems is leading to out-sourcing of commercial services to hosting centers. These centers provision thousands of dense servers w...
WOWMOM
2005
ACM
15 years 3 months ago
2005
ACM
WLAN technology has been shown a revolutionary development during the last decade. Recently popularized IEEE 802.11a/gbased products can support up to 54 Mbps PHY (Physical layer)...
HT
2004
ACM
15 years 3 months ago
2004
ACM
In this paper, we describe Chrysant, a hypertext version control system for embedded link models. Chrysant provides generalpurpose versioning capability to hypertext systems with ...
HICSS
2003
IEEE
15 years 3 months ago
2003
IEEE
The Internet can be used to solve pedagogical problems. To give an example, seminars for crowded courses exceeding a hundred participants would not be possible without web-based a...
NCA
2003
IEEE
15 years 3 months ago
2003
IEEE
Numerous research efforts have produced a large number of algorithms and mechanisms for web proxy caches. In order to build powerful web proxies and understand their performance, ...