12981 search results - page 2082 / 2597 » Model Checking (Abstract) |
228
click to vote
EUROPAR
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Different auction-based approaches have been used to allocate resources in Grids, but none of them provide the design choice for a specific economic model while consideri...
206
click to vote
EUROPAR
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Many advances in grid resource management are still required to realize the grid computing vision of the integration of a worldwide computing infrastructure for scientifi...
173
click to vote
EVOW
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Many efforts have been involved in association study of quantitative phenotypes and expressed genes. The key issue is how to efficiently identify phenotype-associated gen...
219
click to vote
FASE
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. Existing algorithms for regular inference (aka automata learning) allows to infer a finite state machine by observing the output that the machine produces in response to ...
174
click to vote
CRITIS
2007
15 years 8 months ago
2007
Abstract In this paper we discuss the properties and algorithmic methods for the identification and classification of cyclical interdependencies in critical infrastructures based...