1995 search results - page 3 / 399 » From Data Flow Networks to Process Algebras |
EH
2002
IEEE
14 years 1 months ago
2002
IEEE
Fluid flow in porous media is a dynamic process that is traditionally modeled using PDE (Partial Differential Equations). In this approach, physical properties related to fluid fl...
CONCUR
1991
Springer
14 years 2 days ago
1991
Springer
We propose a process algebra obtained by adapting the process algebra with continuous relative timing from Baeten and Middelburg [Process Algebra with Timing, Springer, 2002, Chap....
TCS
2010
13 years 3 months ago
2010
Markovian process algebras, such as PEPA and stochastic -calculus, bring a powerful compositional approach to the performance modelling of complex systems. However, the models gen...
SEFM
2008
IEEE
14 years 2 months ago
2008
IEEE
We present a process algebra for modeling and reasoning about Mobile Ad hoc Networks (MANETs) and their protocols. In our algebra we model the essential modeling concepts of ad ho...
SIP
2001
13 years 10 months ago
2001
In this paper we present a new method to estimate optical flow for large displacements. It is based on prediction of global flow field parameters, performs better than multiresolu...