14558 search results - page 2773 / 2912 » Resources |
141
click to vote
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
Scientists increasingly rely on the execution of workflows in grids to obtain results from complex mixtures of applications. However, the inherently dynamic nature of grid workflo...
155
Voted
HPDC
2010
IEEE
15 years 5 months ago
2010
IEEE
The explosion of data in the biological community demands the development of more scalable and flexible portals for bioinformatic computation. To address this need, we put forth c...
134
click to vote
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Liveness properties in concurrent systems are, informally, those properties that stipulate that something good eventually happens during execution. In order to prove that a given ...
140
Voted
GECCO
2008
Springer
15 years 5 months ago
2008
Springer
Capability planning problems are pervasive throughout many areas of human interest with prominent examples found in defense and security. Planning provides a unique context for op...
156
Voted
GPCE
2008
Springer
15 years 5 months ago
2008
Springer
Software product lines (SPLs) are used to create tailor-made software products by managing and composing reusable assets. Generating a software product from the assets of an SPL i...