This paper presents the design and implementation of an asynchronous data-staging strategy for file accesses based on ROMIO, the most popular MPI-IO distribution, and ZeptoOS, an ...
This paper describes the design and implementation of the user interface for a prototype immersive VRML2 browser, with particular reference to the planning and viewpoint movement ...
Fast is a tool designed for the analysis of counter systems, i.e. automata extended with unbounded integer variables. Despite the reachability set is not recursive in general, Fast...
Using certificates for distributed authorizations in computer network systems has been discussed in the literature. However real implementations of the concept are rarely seen. In...
Over the past several years, with the advent of the Open Grid Services Architecture (OGSA) [10] and the Web Services Resource Framework (WSRF) [14], Service-Oriented Architectures...