748 search results - page 96 / 150 » Time and Probability in Process Algebra |
150
click to vote
WINET
2010
14 years 11 months ago
2010
—We extend the modeling heuristic of [1] to evaluate the performance of an IEEE 802.11e infrastructure network carrying packet telephone calls, streaming video sessions and TCP c...
90
Voted
HYBRID
2007
Springer
15 years 6 months ago
2007
Springer
We consider the problem of verifying reachability properties of stochastic real-time systems modeled as generalized semi-Markov processes (GSMPs). The standard simulation-based tec...
109
click to vote
COR
2004
15 years 13 days ago
2004
We analyze a multi-server priority queueing system with partial buffer sharing, where the input is a discrete autoregressive process of order 1 (DAR(1)) which is known as a good m...
140
click to vote
EUROCAST
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. This paper presents an efficient technique for real time estimation of on-board stereo vision system pose. The whole process is performed in the Euclidean space and consi...
91
Voted
ICNP
2005
IEEE
15 years 6 months ago
2005
IEEE
By allowing end hosts to make routing decisions at the application level, different overlay networks may unintentionally interfere with each other. This paper describes how multip...