10159 search results - page 2013 / 2032 » System Design Validation Using Formal Models |
CCS
2003
ACM
14 years 1 months ago
2003
ACM
Many network intrusion detection systems (NIDS) use byte sequences as signatures to detect malicious activity. While being highly efficient, they tend to suffer from a high false...
ASPLOS
1992
ACM
13 years 12 months ago
1992
ACM
We describe and evaluate a strategy for declustering the parity encoding in a redundant disk array. This declustered parity organization balances cost against data reliability and...
ASSETS
2005
ACM
13 years 10 months ago
2005
ACM
We designed and evaluated an agent that recommends a pointing device gain for a given user, with mixed success. 12 participants with physical impairments used the Input Device Age...
MIR
2010
ACM
13 years 9 months ago
2010
ACM
This paper presents a classification-driven biomedical image retrieval system to bride the semantic gap by transforming image features to their global categories at different gran...
TIP
2010
13 years 2 months ago
2010
Copyright protection is a key issue for video sharing over public networks. To protect the video content from unauthorized redistribution, digital fingerprinting is commonly used. ...