106 search results - page 1 / 22 » Mississippi Computational Web Portal |
CONCURRENCY
2002
13 years 8 months ago
2002
BIOINFORMATICS
2012
11 years 11 months ago
2012
Summary: The MolClass toolkit and data portal generates computational models from user-defined small molecule datasets based on structural features identified in hit and non-hit m...
SPIN
2007
Springer
14 years 2 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 2 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 10 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...