4270 search results - page 53 / 854 » A Permutation Approach to Validation |
108
click to vote
SIGMETRICS
2002
ACM
14 years 11 months ago
2002
ACM
We demonstrate a framework for improving the availability of cluster based Internet services. Our approach models Internet services as a collection of interconnected components, e...
ICRA
2008
IEEE
15 years 6 months ago
2008
IEEE
— In this paper, we lay the groundwork for extending our previously developed ASyMTRe architecture to enable constructivist learning for multi-robot team tasks. The ASyMTRe archi...
123
click to vote
BMCBI
2006
14 years 12 months ago
2006
Background: The biological interpretation of large-scale gene expression data is one of the paramount challenges in current bioinformatics. In particular, placing the results in t...
187
click to vote
POPL
2008
ACM
16 years 4 days ago
2008
ACM
Translation validation consists of transforming a program and a posteriori validating it in order to detect a modification of its semantics. This approach can be used in a verifie...
104
click to vote
ACSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
—Validating function pointers dynamically is very useful for intrusion detection since many runtime attacks exploit function pointer vulnerabilities. Most current solutions tackl...