33 search results - page 7 / 7 » Statistical Model Checking of Distributed Adaptive Real-Time... |
CCS
2007
ACM
13 years 11 months ago
2007
ACM
In this paper, we study the maintenance of role-based access control (RBAC) models in database environments using transitive closure relations. In particular, the algorithms that ...
GECCO
2008
Springer
13 years 6 months ago
2008
Springer
In evolutionary algorithms, the typical post-processing phase involves selection of the best-of-run individual, which becomes the final outcome of the evolutionary run. Trivial f...
RECOMB
2004
Springer
14 years 5 months ago
2004
Springer
In situ staining of a target mRNA at several time points during the development of a D. melanogaster embryo gives one a detailed spatio-temporal view of the expression pattern of ...