Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...
Large-scale scientific computing applications frequently make use of closely-coupled distributed parallel components. The performance of such scientific applications is therefore ...
Lei Zhao, Stephen A. Jarvis, Daniel P. Spooner, Gr...
Web Services for CAD (WSC)[8] aims at interoperation with a commercial CAD system based on Web Services. This paper introduces one improvement of WSC which enables remote users to...
This paper addresses interactive function-based shape modeling where relatively small formulas are used rather than thousands of polygons. Interactive modification of the function...
Workflow is a key technology for eScience. It enables scientific tools to be composed and the resulting workflows to be managed. Workflow and most other computing tools typically ...