Parallel application development for Grids can from tools that abstract the underlying Grid middleware, hide the critical aspects of heterogeneous resources and provide utilities ...
Abstract. In this paper, we first demonstrate a gap between the security of verifiably committed signatures in the two-party setting and the security of verifiably committed signat...
Context-Aware applications adapt their behaviour to the current situation of the user. This information, for instance user location and user availability, is called context informa...
We solve a longstanding problem by providing a denotational model for nondeterministic programs that identifies two programs iff they have the same range of possible behaviours. W...
We present simulations and performance results of nuclear burning fronts in supernovae on the largest domain and at the finest spatial resolution studied to date. These simulation...
A. C. Calder, Bruce C. Curtis, L. J. Dursi, Bruce ...