Sciweavers

2997 search results - page 259 / 600
» Fuzzy robustness analysis
Sort
View
IANDC
2008
128views more  IANDC 2008»
15 years 6 months ago
Rule-based static analysis of network protocol implementations
Today's software systems communicate over the Internet using standard protocols that have been heavily scrutinized, providing some assurance of resistance to malicious attack...
Octavian Udrea, Cristian Lumezanu, Jeffrey S. Fost...
JALC
2006
87views more  JALC 2006»
15 years 6 months ago
A Team Automaton Scenario for the Analysis of Security Properties of Communication Protocols
Formal methods are a popular means to specify and verify security properties of a variety of communication protocols. In this article we take a step towards the use of team automa...
Maurice H. ter Beek, Gabriele Lenzini, Marinella P...
PAMI
2008
200views more  PAMI 2008»
15 years 6 months ago
Principal Component Analysis Based on L1-Norm Maximization
In data-analysis problems with a large number of dimension, principal component analysis based on L2-norm (L2PCA) is one of the most popular methods, but L2-PCA is sensitive to out...
Nojun Kwak
PE
2006
Springer
79views Optimization» more  PE 2006»
15 years 6 months ago
Parallel downloads for streaming applications - a resequencing analysis
Several recent studies have proposed methods to accelerate the receipt of a file by downloading its parts from different servers in parallel. The schemes suggested in most propose...
Yoav Nebat, Moshe Sidi
TASLP
2008
106views more  TASLP 2008»
15 years 6 months ago
Multipitch Analysis of Polyphonic Music and Speech Signals Using an Auditory Model
A method is described for estimating the fundamental frequencies of several concurrent sounds in polyphonic music and multiple-speaker speech signals. The method consists of a comp...
Anssi Klapuri