10038 search results - page 1924 / 2008 » Model Checking for Managers |
119
click to vote
BMCBI
2008
15 years 24 days ago
2008
Background: Modern omics research involves the application of high-throughput technologies that generate vast volumes of data. These data need to be pre-processed, analyzed and in...
CCR
2010
15 years 24 days ago
2010
As data centers become more and more central in Internet communications, both research and operations communities have begun to explore how to better design and manage them. In th...
96
Voted
CCR
2010
15 years 24 days ago
2010
This paper develops a simple model that explores the extent to which differences in connectivity quality can be effective incentives (or disincentives) towards migrating to an IPv...
106
Voted
COMBINATORICA
2008
15 years 23 days ago
2008
Consider the following seemingly rhetorical question: Is it crucial for a property-tester to know the error parameter in advance? Previous papers dealing with various testing prob...
128
click to vote
COMSUR
2008
15 years 23 days ago
2008
Efficient Resource discovery mechanism is one of the fundamental requirement for Grid computing systems, as it aids in resource management and scheduling of applications. Resource...