5525 search results - page 80 / 1105 » Verification of Model Transformations |
133
click to vote
SP
1996
IEEE
15 years 7 months ago
1996
IEEE
In the proposed mandatory access control model, arbitrary label changing policies can be expressed. The relatively simple model can capture a wide variety of security policies, in...
144
click to vote
IJCSA
2006
15 years 3 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...
150
click to vote
ICASSP
2011
IEEE
14 years 7 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...
123
click to vote
CAV
2007
Springer
15 years 7 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
140
click to vote
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...