748 search results - page 57 / 150 » Time and Probability in Process Algebra |
ICNP
2007
IEEE
15 years 6 months ago
2007
IEEE
- A Network Court Protocol is designed for malicious node conviction based on information from network node accusing and testifying operations, which are formally modeled by algebr...
MODELS
2007
Springer
15 years 6 months ago
2007
Springer
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
83
Voted
CORR
2008
Springer
15 years 16 days ago
2008
Springer
Abstract. We study in this paper an M/M/1 queue whose server rate depends upon the state of an independent Ornstein-Uhlenbeck diffusion process (X(t)) so that its value at time t i...
SIGMETRICS
2006
ACM
15 years 6 months ago
2006
ACM
The Erlang formula is known to be insensitive to the holding time distribution beyond the mean. While calls are generally assumed to arrive as a Poisson process, we prove that it ...
101
click to vote
PE
2002
Springer
15 years 3 days ago
2002
Springer
The study presented in this paper is motivated by the performance analysis of response times in distributed information systems, where transactions are handled by iterative server...