10038 search results - page 596 / 2008 » Model Checking for Managers |
213
click to vote
TC
2008
15 years 7 months ago
2008
As the scale of high-performance computing (HPC) continues to grow, failure resilience of parallel applications becomes crucial. In this paper, we present FT-Pro, an adaptive fault...
193
click to vote
DEBU
2002
15 years 7 months ago
2002
Community web sites exhibit two dominating properties: They often need to integrate many different information sources and they require an adequate web site management system. SEA...
173
click to vote
MR
2007
15 years 6 months ago
2007
- Case studies were conducted using a stochastic model to predict the life cycle cost impact associated with the application of Prognostic Health Management (PHM) to helicopter avi...
193
click to vote
SIGMETRICS
2010
ACM
15 years 5 months ago
2010
ACM
Sustainability is becoming an increasingly important driver for which decision makers – consumers, corporate and government – rely on principled, accurate and provenanced metr...
178
click to vote
JCIT
2010
15 years 2 months ago
2010
As a new paradigm for data warehousing demanded by today's decision support community, DW 2.0 recognized the life cycle of data with it, that make metadata evolution mechanis...