4451 search results - page 419 / 891 » Continuous model synthesis |
203
click to vote
PAPM
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
174
click to vote
ACSD
2008
IEEE
15 years 8 months ago
2008
IEEE
The design of complex concurrent systems often involves intricate performance and dependability considerations. Continuous-time Markov chains (CTMCs) are widely used models for co...
194
click to vote
ICIS
2001
15 years 8 months ago
2001
Despite substantial improvements in the last few years in software engineering and collaboration tools, coordination in large-scale software development continues to be problemati...
188
click to vote
PUK
2000
15 years 8 months ago
2000
This paper proposes a new planning architecture for agents operating in uncertain and dynamic environments. Decisiontheoretic planning has been recognized as a useful tool for rea...
198
click to vote
ENTCS
2008
15 years 7 months ago
2008
Modeling natural systems is a complicated task that involves the concurrent behavior of various processes, mechanisms and objects. Here, we describe an approach that we have been ...