Sciweavers

2312 search results - page 25 / 463
» Invariance in Property Testing
Sort
View
DBSEC
2008
137views Database» more  DBSEC 2008»
13 years 11 months ago
Towards Automation of Testing High-Level Security Properties
Abstract. Many security problems only become apparent after software is deployed, and in many cases a failure has occurred prior to the awareness of the problem. Although many woul...
Aiman Hanna, Hai Zhou Ling, Jason Furlong, Mourad ...
FOCS
2010
IEEE
13 years 7 months ago
Testing Properties of Sparse Images
We initiate the study of testing properties of images that correspond to sparse 0/1-valued matrices of size n
Gilad Tsur, Dana Ron
COMBINATORICA
2008
92views more  COMBINATORICA 2008»
13 years 10 months ago
A separation theorem in property testing
Consider the following seemingly rhetorical question: Is it crucial for a property-tester to know the error parameter in advance? Previous papers dealing with various testing prob...
Noga Alon, Asaf Shapira
CVPR
2010
IEEE
14 years 6 months ago
A theory of phase-sensitive rotation invariance with spherical harmonic and moment-based representations
This paper describes how phase-sensitive rotation invariants for three-dimensional data may be obtained. A “bispectrum” is formulated for rotations, and its properties are der...
Ramakrishna Kakarala, Dansheng Mao
ICDCS
2007
IEEE
14 years 4 months ago
Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
Guoqiang Shu, David Lee