2021 search results - page 74 / 405 » COCO: Composition Model and Composition Model Implementation |
167
click to vote
COMPOS
1997
Springer
15 years 8 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...
159
click to vote
CHARME
2001
Springer
15 years 8 months ago
2001
Springer
We consider the formal verification of the cache coherence protocol of the Stanford FLASH multiprocessor for N processors. The proof uses the SMV proof assistant, a proof system ba...
143
click to vote
SIGSOFT
2007
ACM
16 years 5 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
173
click to vote
PAMI
2008
15 years 4 months ago
2008
This paper presents a hierarchical-compositional model of human faces, as a three-layer AND-OR graph to account for the structural variabilities over multiple resolutions. In the A...
139
click to vote
BMCBI
2006
15 years 4 months ago
2006
Background: Small interfering RNAs (siRNAs) have become an important tool in cell and molecular biology. Reliable design of siRNA molecules is essential for the needs of large fun...