Sciweavers

73 search results - page 1 / 15
» The XCAT Science Portal
Sort
View
SP
2002
IEEE
129views Security Privacy» more  SP 2002»
13 years 4 months ago
The XCAT Science Portal
The design and prototype implementation of the XCAT Grid Science Portal is described in this paper. The portal lets grid application programmers easily script complex distributed ...
Sriram Krishnan, Randall Bramley, Dennis Gannon, R...
CLUSTER
2002
IEEE
13 years 4 months ago
The Astrophysics Simulation Collaboratory: A Science Portal Enabling Community Software Development
Grid Portals, based on standard web technologies, are emerging as important and useful user interfaces to computational and data Grids. Grid Portals enable Virtual Organizations, c...
Michael Russell, Gabrielle Allen, Greg Daues, Ian ...
SKG
2006
IEEE
13 years 10 months ago
Top Ten Questions To Design A Successful Grid Portal
With the enhancement of Grid application, Grid portal provides a unique interface for end-users to access distributed resources and are used widely in Knowledge Grid, e-Science, e...
Xiao Dong Wang, Xiaobo Yang, Rob Allan
SPIN
2007
Springer
13 years 10 months ago
BEEM: Benchmarks for Explicit Model Checkers
Abstract. We present Beem — BEnchmarks for Explicit Model checkers. This benchmark set includes more than 50 parametrized models (300 concrete instances) together with their corr...
Radek Pelánek