955 search results - page 149 / 191 » Model Checking Operator Procedures |
109
click to vote
PLDI
2009
ACM
15 years 7 months ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
133
Voted
KES
2007
Springer
15 years 18 days ago
2007
Springer
Chance discovery provides a way to find rare but very important events for future decision making. It can be applied to stock market prediction, earthquake alarm, intrusion detect...
114
Voted
KDD
2000
ACM
15 years 4 months ago
2000
ACM
We describe an application of data mining and decision analysis to the problem of die-level functional test in integrated circuit manufacturing. Integrated circuits are fabricated...
100
Voted
APN
2008
Springer
15 years 2 months ago
2008
Springer
Shared decision diagram representations of a state-space have been shown to provide efficient solutions for model-checking of large systems. However, decision diagram manipulation ...
109
Voted
BMCBI
2008
15 years 25 days ago
2008
Background: Compared to other omics techniques, quantitative metabolomics is still at its infancy. Complex sample preparation and analytical procedures render exact quantification...