139 search results - page 2 / 28 » The Gateway computational Web portal |
SPIN
2007
Springer
14 years 3 months ago
2007
Springer
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...
SAC
2005
ACM
14 years 3 months ago
2005
ACM
is a planning framework for mapping abstract workflows for execution on the Grid. This paper presents the implementation of a web-based portal for submitting workflows to the Grid...
ICWS
2004
IEEE
13 years 11 months ago
2004
IEEE
Web services technologies are emerging as a new approach for supporting e-Science and e-Engineering by providing access to heterogeneous computation resources and integration of d...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The Asteroseismic Modeling Portal (AMP) provides a webbased interface for astronomers to run and view simulations that derive the properties of Sun-like stars from observations of...
KES
2007
Springer
14 years 4 months ago
2007
Springer
DACS (Destination Addressing Control System) Scheme is developed as a new network management scheme. DACS Scheme performs the network management and services efficiently by commun...