Sciweavers

2868 search results - page 547 / 574
» Inference in Bayesian Networks
Sort
View
CCR
2006
89views more  CCR 2006»
14 years 10 months ago
A passive state-machine approach for accurate analysis of TCP out-of-sequence segments
In this paper we describe a new tool being made available to the networking research community for passive analysis of TCP segment traces. The purpose of the tool is to provide mo...
Sushant Rewaskar, Jasleen Kaur, F. Donelson Smith
ENGL
2006
108views more  ENGL 2006»
14 years 10 months ago
A Fuzzy-Neuro Model for Normal Concrete Mix Design
: Concrete mix design is a process of proportioning the ingredients in right proportions. Though it is based on sound technical principles and heuristics, the entire process is not...
M. C. Nataraja, M. A. Jayaram, C. N. Ravikumar
JLP
2008
134views more  JLP 2008»
14 years 10 months ago
Backwards type analysis of asynchronous method calls
Asynchronous method calls have been proposed to better integrate object orientation with distribution. In the Creol language, asynchronous method calls are combined with so-called...
Einar Broch Johnsen, Ingrid Chieh Yu
ENTCS
2007
129views more  ENTCS 2007»
14 years 10 months ago
Protocol Composition Logic (PCL)
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
Anupam Datta, Ante Derek, John C. Mitchell, Arnab ...
106
Voted
JSAC
2006
89views more  JSAC 2006»
14 years 10 months ago
A Comparison of Poisson and Uniform Sampling for Active Measurements
Active probes of network performance represent samples of the underlying performance of a system. Some effort has gone into considering appropriate sampling patterns for such probe...
Matthew Roughan