7557 search results - page 44 / 1512 » Modeling Timed Concurrent Systems |
107
click to vote
IANDC
2010
14 years 10 months ago
2010
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
FUIN
2008
15 years 1 months ago
2008
Abstract. The paper is devoted to characterizing systems with random behaviours. The characterization is based on considering systems in terms of their possible runs, called proces...
ICOIN
2001
Springer
15 years 5 months ago
2001
Springer
According to the progress of high-speed networks, many communication protocols are specified as concurrent systems. Such systems can be modeled as concurrent deterministic FSMs (D...
129
click to vote
QEST
2010
IEEE
14 years 11 months ago
2010
IEEE
Abstract--Model checkers for concurrent probabilistic systems have become very popular within the last decade. The study of long-run average behavior has however received only scan...
126
click to vote
FORTE
2004
15 years 2 months ago
2004
Abstract. Monitoring large distributed concurrent systems is a challenging task. In this paper we formulate (model-based) diagnosis by means of hidden state history reconstruction,...