2612 search results - page 137 / 523 » Mobile Processes and Termination |
ICALP
1999
Springer
14 years 2 months ago
1999
Springer
We present a calculus of mobile processes without prefix or summation, and using two different encodings we show that it can express both action prefix and guarded summation. O...
ICIP
2006
IEEE
14 years 12 months ago
2006
IEEE
This paper describes a new framework for the automated tracking of the central retinal vein in retinal images. The procedure first computes a binary image of the retinal vasculatur...
SAC
2009
ACM
14 years 5 months ago
2009
ACM
Ensuring transactional behavior of business processes and web service compositions is an essential issue in the area of serviceoriented computing. Transactions in this context may ...
IWMM
2004
Springer
14 years 3 months ago
2004
Springer
Operating systems account for memory consumption and allow for termination at the level of individual processes. As a result, if one process consumes too much memory, it can be te...
VISUALIZATION
2003
IEEE
14 years 3 months ago
2003
IEEE
Nowadays, direct volume rendering via 3D textures has positioned itself as an efficient tool for the display and visual analysis of volumetric scalar fields. It is commonly acce...