1268 search results - page 133 / 254 » Verifying distributed systems: the operational approach |
176
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
In this paper, we present a stream-based mining algorithm for online anomaly prediction. Many real-world applications such as data stream analysis requires continuous cluster opera...
110
click to vote
IPPS
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--With the development of high-performance computing, I/O issues have become the bottleneck for many massively parallel applications. This paper investigates scalable paral...
TREC
2003
14 years 11 months ago
2003
Abstract. We present the results of UMBC’s participation in the Web and Novelty tracks. We explored various heuristics-based link analysis approaches to the Topic Distillation ta...
ESOP
2008
Springer
14 years 11 months ago
2008
Springer
In an optimistic approach to security, one can often simplify protocol design by relying on audit logs, which can be analyzed a posteriori. Such auditing is widely used in practice...
EUC
2005
Springer
15 years 3 months ago
2005
Springer
This paper presents a distributed middleware architecture based on a service-oriented approach, to manage high volume sensor events. Event management takes a multi-step operation f...