Sciweavers

528 search results - page 88 / 106
» Fault-tolerant analysis of a class of networks
Sort
View
102
Voted
MIDDLEWARE
2004
Springer
15 years 6 months ago
Transparent Information Dissemination
This paper explores integrating self-tuning updates and sequential consistency to enable transparent replication of large-scale information dissemination services. We focus our at...
Amol Nayate, Michael Dahlin, Arun Iyengar
IJCNN
2000
IEEE
15 years 5 months ago
Bias Learning, Knowledge Sharing
—Biasing properly the hypothesis space of a learner has been shown to improve generalization performance. Methods for achieving this goal have been proposed, that range from desi...
Joumana Ghosn, Yoshua Bengio
135
Voted
CONCUR
1999
Springer
15 years 5 months ago
Partial Order Reduction for Model Checking of Timed Automata
Abstract. The paper presents a partial order reduction method applicable to networks of timed automata. The advantage of the method is that it reduces both the number of explored c...
Marius Minea
ICNP
1998
IEEE
15 years 5 months ago
A Proof Technique for Liveness Properties of Multifunction Composite Protocols
In protocol composition techniques, component protocols are combined in various ways to obtain a complex protocol whose execution sequences consist of interleaved execution sequen...
J. Park, R. Miller
102
Voted
RAID
2000
Springer
15 years 4 months ago
Adaptive, Model-Based Monitoring for Cyber Attack Detection
Inference methods for detecting attacks on information resources typically use signature analysis or statistical anomaly detection methods. The former have the advantage of attack...
Alfonso Valdes, Keith Skinner