4270 search results - page 631 / 854 » A Permutation Approach to Validation |
149
click to vote
ESORICS
2004
Springer
15 years 12 months ago
2004
Springer
Redundancy and diversity are commonly applied principles for fault tolerance against accidental faults. Their use in security, which is attracting increasing interest, is less gene...
191
click to vote
GECCO
2004
Springer
15 years 12 months ago
2004
Springer
Estimation of distribution algorithms (EDAs) are population-based heuristic search methods that use probabilistic models of good solutions to guide their search. When applied to co...
160
click to vote
ICFEM
2004
Springer
15 years 12 months ago
2004
Springer
We present a novel approach for verifying safety properties of finite state machines communicating over unbounded FIFO channels that is based on applying machine learning techniqu...
195
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
: AIRBUS and ONERA used the AltaRica formal language and associated tools to perform safety assessments. Lessons learnt during the study of an electrical and hydraulic system are p...
157
click to vote
IH
2004
Springer
15 years 12 months ago
2004
Springer
A variety of remote sensing attacks allow adversaries to break flow confidentiality and gather mission-critical information in distributed systems. Such attacks are easily supple...