7557 search results - page 115 / 1512 » Modeling Timed Concurrent Systems |
174
Voted
ICPADS
1998
IEEE
15 years 10 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...
147
Voted
RTSS
1998
IEEE
15 years 10 months ago
1998
IEEE
190
click to vote
LICS
1998
IEEE
15 years 9 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 ...
154
click to vote
ACSD
2008
IEEE
15 years 8 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...