631 search results - page 62 / 127 » Strong Authentication and Strong Integrity (SASI) Is Not Tha... |
117
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
We propose a symbolic algorithm for the analysis of the robustness of timed automata, that is the correctness of the model in presence of small drifts on the clocks or imprecision ...
103
click to vote
GECCO
2000
Springer
15 years 5 months ago
2000
Springer
The integration of genetic algorithms (GAs) and tabu search is one of traditional problems in function optimization in the GA literature. However, most proposed methods have utili...
102
click to vote
SAFECOMP
2000
Springer
15 years 5 months ago
2000
Springer
An expert trouble-shooter is a subject who has a great deal of experience in his activity that allows him or her to be very efficient. However, the large amount of problems he or s...
104
click to vote
EDBT
2010
ACM
15 years 5 months ago
2010
ACM
The growing availability of mobile devices produces an enormous quantity of personal tracks which calls for advanced analysis methods capable of extracting knowledge out of massiv...
111
click to vote
AUSAI
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. It is known from psychology and neuroscience that multimodal integration of sensory information enhances the perception of stimuli that are corrupted in one or more modal...