7557 search results - page 115 / 1512 » Modeling Timed Concurrent Systems |
129
Voted
ICPADS
1998
IEEE
15 years 7 months ago
1998
IEEE
This paper presents a new conceptual model, the XBWModel. Distributed computing is becoming a cost effective way to implement safety critical control systems. To support the devel...
115
Voted
RTSS
2000
IEEE
15 years 7 months ago
2000
IEEE
112
Voted
RTSS
1998
IEEE
15 years 7 months ago
1998
IEEE
153
Voted
LICS
1998
IEEE
15 years 6 months ago
1998
IEEE
Probabilistic I/O automata (PIOA) constitute a model for distributed or concurrent systems that incorporates a notion of probabilistic choice. The PIOA model provides a notion of ...
120
Voted
ACSD
2008
IEEE
15 years 4 months ago
2008
IEEE
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the paral...