1040 search results - page 52 / 208 » Resource Usage Verification |
CORR
2010
Springer
14 years 10 months ago
2010
Springer
: In a heterogeneous, dynamic environment, like Grid, post-mortem analysis is of no use and data needs to be collected and analysed in real time. Novel techniques are also required...
NGC
2007
Springer
14 years 9 months ago
2007
Springer
Abstract As more and more life science researchers start to take advantages of grid technologies in their work, the demand increases for a robust yet easy to use metascheduler or r...
119
click to vote
CORR
2011
Springer
14 years 4 months ago
2011
Springer
The Semantic Web initiative puts emphasis not primarily on putting data on the Web, but rather on creating links in a way that both humans and machines can explore the Web of data...
WSC
1998
14 years 11 months ago
1998
Verification and validation are two very important steps in simulation modeling. Consequently, they are under constant review and examination from many different perspectives. Res...
JSS
2006
14 years 9 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...