94 search results - page 14 / 19 » A Performance Study of BDD-Based Model Checking |
CTRSA
2012
Springer
12 years 3 months ago
2012
Springer
We study the problem of searching on encrypted data, where the search is performed using a plaintext message or a keyword, rather than a message-specific trapdoor as done by state...
FMICS
2008
Springer
13 years 8 months ago
2008
Springer
In order to apply formal methods in practice, the practitioner has to comprehend a vast amount of research literature and realistically evaluate practical merits of different appr...
SACMAT
2009
ACM
14 years 1 months ago
2009
ACM
An access control system is often viewed as a state transition system. Given a set of access control policies, a general safety requirement in such a system is to determine whethe...
ISBRA
2010
Springer
13 years 5 months ago
2010
Springer
A popular model for gene regulatory networks is the Boolean network model. In this paper, we propose an algorithm to perform an analysis of gene regulatory interactions using the B...
PR
2008
13 years 7 months ago
2008
Prototype selection problem consists of reducing the size of databases by removing samples that are considered noisy or not influential on nearest neighbour classification tasks. ...