3082 search results - page 189 / 617 » Deviation Analysis: A New Use of Model Checking |
173
click to vote
RAID
2004
Springer
15 years 11 months ago
2004
Springer
We present a payload-based anomaly detector, we call PAYL, for intrusion detection. PAYL models the normal application payload of network traffic in a fully automatic, unsupervised...
167
click to vote
EOR
2006
15 years 6 months ago
2006
The robust spanning tree problem is a variation, motivated by telecommunications applications, of the classic minimum spanning tree problem. In the robust spanning tree problem ed...
161
click to vote
ICCS
2005
Springer
15 years 12 months ago
2005
Springer
We propose a new facial motion retargetting method using wavelet-based multiresolutional analysis of triangular meshes. We define the displacement of the source model as the diff...
145
click to vote
DATE
2006
IEEE
16 years 15 days ago
2006
IEEE
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
177
click to vote
JBCS
2002
15 years 6 months ago
2002
This paper presents a new approach for generating configured and flexible middleware systems for integration of heterogeneous and distributed data. The configuration is based on t...