4163 search results - page 26 / 833 » A comprehensive combination framework |
BMCBI
2007
13 years 8 months ago
2007
Background: The Complete Arabidopsis Transcript MicroArray (CATMA) initiative combines the efforts of laboratories in eight European countries [1] to deliver gene-specific sequenc...
FMCAD
2006
Springer
14 years 8 days ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
CSFW
2007
IEEE
14 years 3 months ago
2007
IEEE
Interrupt-driven communication with hardware devices can be exploited for establishing covert channels. In this article, we propose an information-theoretic framework for analyzin...
ISW
1997
Springer
14 years 23 days ago
1997
Springer
Information security is based on access control models and cryptographic techniques. These are well established areas of research in computer security, but are not capable of supp...
DBSEC
2006
13 years 10 months ago
2006
Abstract. Controlled Query Evaluation (CQE) offers a logical framework to prevent a user of a database from inadvertently gaining knowledge he is not allowed to know. By modeling t...