One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
Dynasoar is an infrastructure for dynamically deploying Web Services over a Grid or the Internet. It enables an approach to Grid computing in which distributed applications are bu...
Paul Watson, Chris Fowler, Charles Kubicek, Arijit...
Geant4 is a very large, highly accurate toolkit for Monte Carlo simulation of particle-matter interaction. It has been applied to high-energy physics, cosmic ray modeling, radiati...
Current service discovery and subscription are “provider-centric” indeed, which costs the consumers too many efforts and makes the wide spectrum of QoS hard to use. In this po...
In this paper we present the Transparent Input Device Layer framework to extend Java applications with support for multiple distributed input devices, a major requirement for tabl...