We describe a probabilistic polynomial-time process calculus for analyzing cryptographic protocols and use it to derive compositionality properties of protocols in the presence of ...
Grid computing promises the ability to share geographically and organizationally distributed resources to increase effective computational power and resource utilization. However,...
Youn-Seok Kim, Jung-Lok Yu, Jae-Gyoon Hahm, Jinsoo...
In this paper we propose a systematic approach to performance analysis of workflow applications on the Grid. We introduce an ideal model for the workflow execution time and explain...
Francesco Nerieri, Radu Prodan, Thomas Fahringer, ...
In this paper we present a novel communication layer for distributed heterogenous environments typical found in the area of Grid computing. This communication layer is used as par...
Production grids have a potential for parallel execution of a very large number of tasks but also introduce a high overhead that significantly impacts the execution of short task...