632 search results - page 53 / 127 » C and C Style Guides |
IFIP13
2004
14 years 11 months ago
2004
: The failure of a safety-critical system, though undesirable, is often a source of valuable lessons that can help prevent future failures. Current analysis practices do not always...
WWW
2010
ACM
14 years 10 months ago
2010
ACM
In this paper, we present Fastrack, a parameter-free algorithm for dynamic resource provisioning that uses simple statistics to promptly distill information about changes in workl...
ENGL
2007
14 years 9 months ago
2007
—This paper details a learning decision-theoretic intelligent agent designed to solve the problem of guiding vehicles in the context of Personal Rapid Transit (PRT). The intellig...
AUTOMATICA
2000
14 years 9 months ago
2000
This paper introduces a nonparametric frequency-domain scheme for tuning closed-loop systems. A linear quadratic criterion is used for guiding the system towards an optimal-regula...
105
click to vote
CCS
2010
ACM
14 years 7 months ago
2010
ACM
We propose a development method for security protocols based on stepwise refinement. Our refinement strategy guides sformation of abstract security goals into protocols that are s...