162 search results - page 26 / 33 » Symbolic Performance and Dependability Evaluation with the T... |
ICSE
2007
IEEE-ACM
14 years 6 months ago
2007
IEEE-ACM
Policy testing and analysis are important techniques for high assurance of correct specification of access control policies. We propose a set of testing and analysis techniques fo...
SOCIALCOM
2010
13 years 4 months ago
2010
In recent years, several researchers have proposed techniques for providing users with assistance in understanding and overcoming authorization denials. The incorporation of envir...
FMSD
2006
13 years 6 months ago
2006
In this paper we present data structures and distributed algorithms for CSL model checking-based performance and dependability evaluation. We show that all the necessary computatio...
BMCBI
2006
13 years 6 months ago
2006
Background: DNA methylation plays an important role in development and tumorigenesis by epigenetic modification and silencing of critical genes. The development of PCR-based methy...
BMCBI
2006
13 years 6 months ago
2006
Background: Microarrays are routinely used to assess mRNA transcript levels on a genome-wide scale. Large amount of microarray datasets are now available in several databases, and...