955 search results - page 133 / 191 » Model Checking Operator Procedures |
107
click to vote
ICCCN
2007
IEEE
15 years 7 months ago
2007
IEEE
—The emergence of multi-processor, multi-threaded architectures (referred to as multi- architectures) facilitates the design of high-throughput request processing systems (e.g., ...
112
Voted
CONCUR
2001
Springer
15 years 5 months ago
2001
Springer
We study the maximal reachability probability problem for infinite-state systems featuring both nondeterministic and probabilistic choice. The problem involves the computation of ...
76
Voted
DAGSTUHL
2010
15 years 2 months ago
2010
Shoulder joint replacement, or arthroplasty, is indicated in cases where arthritis or trauma has resulted in severe joint damage that in turn causes increased pain and decreased f...
109
Voted
IANDC
2008
15 years 22 days ago
2008
Recently automated deduction tools have proved to be very effective for detecting attacks on cryptographic protocols. These analysis can be improved, for finding more subtle weakn...
102
Voted
CCE
2006
15 years 22 days ago
2006
In this paper, we address the problem of optimal synthesis of an integrated water system, where water using processes and water treatment operations are combined into a single net...