556 search results - page 33 / 112 » Checking Interval Properties of Computations |
149
click to vote
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Quantum Cryptography or Quantum key distribution (QKD) is a technique that allows the secure distribution of a bit string, used as key in cryptographic protocols. When it was note...
115
click to vote
EDOC
2000
IEEE
15 years 6 months ago
2000
IEEE
Practical experience indicates that the definition of realworld workflow applications is a complex and error-prone process. Existing workflow management systems provide the means,...
117
click to vote
ATVA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The saturation state-space generation algorithm has demonstrated clear improvements over state-of-the-art symbolic methods for asynchronous systems. This work is motivate...
121
click to vote
GI
2009
Springer
15 years 6 months ago
2009
Springer
: Model-checking is a way of testing the correctness of concurrent programs. To do so, a model of the program is proven to match properties and constraints specified by the progra...
128
click to vote
AI
2008
Springer
15 years 2 months ago
2008
Springer
Verification of reachability properties for probabilistic systems is usually based on variants of Markov processes. Current methods assume an exact model of the dynamic behavior a...