4962 search results - page 97 / 993 » Stochastic Model Checking |
SIGCOMM
2000
ACM
14 years 1 months ago
2000
ACM
In this paper, we present a model for TCP/IP ow control mechanism. The rate at which data is transmitted increases linearly in time until a packet loss is detected. At that point,...
MSS
2008
IEEE
13 years 9 months ago
2008
IEEE
: This paper develops a theory of probabilistic models for risky choices. Part of this theory can be viewed as an extension of the expected utility theory to account for bounded ra...
AAAI
2011
12 years 9 months ago
2011
We study iterative randomized greedy algorithms for generating (elimination) orderings with small induced width and state space size - two parameters known to bound the complexity...
MOBIHOC
2008
ACM
14 years 8 months ago
2008
ACM
Recent discovery of the mixture (power-law and exponential) behavior of inter-meeting time distribution of mobile nodes presents new challenge to the problem of mobility modeling ...
BC
2002
13 years 9 months ago
2002
We consider a spatial neuron model in which the membrane potential satisfies a linear cable equation with an input current which is a dynamical random process of the Ornstein