106 search results - page 1 / 22 » Mississippi Computational Web Portal |
CONCURRENCY
2002
13 years 4 months ago
2002
BIOINFORMATICS
2012
11 years 7 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
13 years 11 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
13 years 10 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 6 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...