1611 search results - page 195 / 323 » Crawler-Friendly Web Servers |
166
click to vote
WOSP
2004
ACM
15 years 12 months ago
2004
ACM
This paper describes how soft performance bounds can be expressed for software systems using stochastic probes over stochastic process algebra models. These stochastic probes are ...
151
click to vote
WETICE
1998
IEEE
15 years 10 months ago
1998
IEEE
Most approaches to real-time collaboration and awareness involve the use of special applications to connect users to each other either peer-to-peer or via a central server. At Lot...
133
click to vote
KBSE
1997
IEEE
15 years 10 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
147
click to vote
MASCOTS
2004
15 years 7 months ago
2004
This study introduces a new analytic queuing model, the N-Burst/G/1 model with heavy-tailed service-time distribution, which captures many of the issues that affect Web servers as...
155
click to vote
PDCN
2004
15 years 7 months ago
2004
The paper describes an experimental system in which we linked together a number of computers over the Internet to form a multi-processor computer system. The arrangeme nt uses Jav...