2468 search results - page 450 / 494 » On Model Checking Techniques for Randomized Distributed Syst... |
122
Voted
SIGMETRICS
2008
ACM
15 years 3 months ago
2008
ACM
Burstiness and temporal dependence in service processes are often found in multi-tier architectures and storage devices and must be captured accurately in capacity planning models...
144
click to vote
MIR
2010
ACM
15 years 8 months ago
2010
ACM
There is considerable research in the field of content-based medical image retrieval; however, few of the current systems investigate the relationship between the radiologists’...
138
click to vote
WADT
1999
Springer
15 years 7 months ago
1999
Springer
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
239
click to vote
ICDE
2005
IEEE
16 years 4 months ago
2005
IEEE
Sensor networks and other distributed information systems (such as the Web) must frequently access data that has a high per-attribute acquisition cost, in terms of energy, latency...
126
Voted
WWW
2008
ACM
16 years 3 months ago
2008
ACM
In this paper we measured and analyzed the workload on Yahoo! Video, the 2nd largest U.S. video sharing site, to understand its nature and the impact on online video data center d...