533 search results - page 40 / 107 » Verification of Distributed Firewalls |
SIGSOFT
2006
ACM
14 years 10 months ago
2006
ACM
We consider the problem if a given program satisfies a specified safety property. Interesting programs have infinite state spaces, with inputs ranging over infinite domains, and f...
DAC
2004
ACM
14 years 1 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
IJCSA
2006
13 years 10 months ago
2006
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
IDEAL
2010
Springer
13 years 8 months ago
2010
Springer
Many of our activities on computer need a verification step for authorized access. The goal of verification is to tell apart the true account owner from intruders. We propose a gen...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
Gaussian mixture models (GMMs) are commonly used to model the spectral distribution of speech signals for text-independent speaker verification. Mean vectors of the GMM, used in c...