714 search results - page 43 / 143 » Verification and Compliance Testing |
144
click to vote
IJSEKE
2011
14 years 4 months ago
2011
rather wide gap in abstraction between policies and mechanisms. In this paper, we propose a general approach for property verification for MAC models. The approach defines a stan...
126
Voted
SIGCSE
2006
ACM
15 years 6 months ago
2006
ACM
The importance of software bug detection tools is high with the constant threat of malicious activity. Companies are increasingly relying on software bug detection tools to catch ...
362
Voted
Dataset
Analysis of face images has been the topic of in-depth research with wide spread applications. Face recognition, verification, age progression studies are some of the topics under ...
87
Voted
EGOV
2005
Springer
15 years 6 months ago
2005
Springer
One of the challenges citizens and businesses face in interacting with governments for entitled services or compliance services is to find the right set of regulations and rules th...
110
click to vote
FSEN
2007
Springer
15 years 4 months ago
2007
Springer
This paper deals with test case selection from axiomatic specifications whose axioms are quantifier-free first-order formulae. Test cases are modeled as ground formulae and any spe...