Corrado Priami, "Qualitative and Quantitative Analysis of Mobile Systems", http://citeseer. nj. nec. com/ priami97qualitative. html, 1997. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
On Modeling Real-time Mobile Processes - Lee (Correct)
....systems (e.g. streaming video player on mobile laptop) cannot be modeled satisfactorily with r calculus due to its lack of time expressiveness. Yet, there are very few real time extensions to r calculus in the literature. The most notable of these is the stochastic r calculus [P95, DLP96, P97] that allows probabilistic time delays to be associated with synchronising actions. The probabilities are drawn from some well defined distribution, and can be used to describe the quantitative performance of systems. However, stochastic r calculus has true concurrency se mantics (rather than ....
....at a constant rate with a constant delay of 1 time unit between frames. It is only that each movement of the player incurs extra delay between frames. However, this is only a very rough approximation of the real situation. A more accurate analysis can be obtained using the stochastic ap proach [P97] 6 Conclusion In this paper, we have introduced a timed extension to r calculus, the rRT calculus. We extend r calculus in a natural way that allows transmission of time as ordinary data between processes. Most of the model properties are retained from the previous works on real time algebra ....
Corrado Priami, "Qualitative and Quantitative Analysis of Mobile Systems", http://citeseer. nj. nec. com/ priami97qualitative. html, 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC