2296 search results - page 232 / 460 » The Expressive Power of Synchronizations |
188
click to vote
DBSEC
2009
15 years 7 months ago
2009
Reflective Database Access Control (RDBAC) is a model in which a database privilege is expressed as a database query itself, rather than as a static privilege in an access control ...
181
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Dependently typed -calculi such as the Logical Framework (LF) are capable of representing relationships between terms through types. By exploiting the "formulas-as-types"...
164
Voted
JLP
2008
15 years 6 months ago
2008
models, used for specification, analysis and verification, usually describe sets of implementations by means of a refinement relation. In the branching time setting, implementatio...
157
click to vote
SAC
2002
ACM
15 years 6 months ago
2002
ACM
A version space is a set of all hypotheses consistent with a given set of training examples, delimited by the specific boundary and the general boundary. In existing studies [5, 6...
197
click to vote
IJBRA
2010
15 years 5 months ago
2010
—We aim to determine the biological relevance of genes identified through microarray-mediated transcriptional profiling of Xenopus sensory organs and brain tissue. Genetic data...