Sciweavers

2015 search results - page 142 / 403
» Some Observations on Indifferentiability
Sort
View
ENTCS
2010
96views more  ENTCS 2010»
15 years 4 months ago
Optimizing Conditional Logic Reasoning within CoLoSS
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...
Daniel Hausmann, Lutz Schröder
132
Voted
DM
2008
81views more  DM 2008»
15 years 4 months ago
The diameter of protean graphs
Abstract. The web graph is a real-world self-organizing network whose vertices correspond to web pages, and whose edges correspond to links between pages. Many stochastic models fo...
Pawel Pralat
FSS
2008
87views more  FSS 2008»
15 years 4 months ago
Higher order models for fuzzy random variables
A fuzzy random variable is viewed as the imprecise observation of the outcomes in a random experiment. Since randomness and vagueness coexist in the same framework, it seems reaso...
Inés Couso, Luciano Sánchez
IANDC
2008
84views more  IANDC 2008»
15 years 4 months ago
A theory of system behaviour in the presence of node and link failure
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
Adrian Francalanza, Matthew Hennessy
CN
2006
126views more  CN 2006»
15 years 4 months ago
A measurement study of correlations of Internet flow characteristics
Previous studies of Internet traffic have shown that a very small percentage of flows consume most of the network bandwidth. It is important to understand the characteristics of s...
Kun-Chan Lan, John S. Heidemann