3463 search results - page 15 / 693 » Modeling and executing master-worker applications in compone... |
ENTCS
2002
13 years 8 months ago
2002
In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biolog...
GI
2009
Springer
13 years 6 months ago
2009
Springer
: This contribution addresses systematic test development methods to include an algorithm to retrieve a test suite execution control in order to run test cases with high priority e...
HPDC
1998
IEEE
14 years 21 days ago
1998
IEEE
Abstract Metacomputing is the seamless application of geographically-separated distributed computing resources to user applications. We consider the scheduling of metaapplications;...
MODELS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. We present ModHel’X, an approach to multi-formalism modeling which addresses two important issues in this field: (a) providing support for the specification of the se...
IEAAIE
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. In this paper, we describe a framework for integrating workflow modelling techniques with a knowledge management approach that enables us to represent the problem-solving...