641 search results - page 39 / 129 » Identifying Contingency Requirements Using Obstacle Analysis |
APN
1999
Springer
14 years 1 months ago
1999
Springer
Abstract. Symbolic techniques based on BDDs (Binary Decision Diagrams) have emerged as an e cient strategy for the analysis of Petri nets. The existing techniques for the symbolic ...
CCS
2011
ACM
12 years 8 months ago
2011
ACM
Cloud Computing is an emerging technology promising new business opportunities and easy deployment of web services. Much has been written about the risks and benefits of cloud co...
IEEEPACT
2005
IEEE
14 years 2 months ago
2005
IEEE
Feedback-directed Optimization has become an increasingly important tool in designing and building optimizing compilers as itprovides a means to analyze complexprogram behavior th...
BMCBI
2002
13 years 8 months ago
2002
Background: Molecular characterization has contributed to the understanding of the inception, progression, treatment and prognosis of cancer. Nucleic acid array-based technologies...
BTW
2003
Springer
14 years 2 months ago
2003
Springer
Microarrays make it possible to monitor the expression of thousands of genes in parallel thus generating huge amounts of data. So far, several databases have been developed for man...