2637 search results - page 72 / 528 » Tool Supported Specification and Simulation of Distributed S... |
151
click to vote
ICDCS
1998
IEEE
15 years 8 months ago
1998
IEEE
Exceptions are one of the most pervasive problems in process support systems. In installations expected to handle a large number of processes, having exceptions is bound to be a n...
123
click to vote
PADS
1999
ACM
15 years 8 months ago
1999
ACM
Most work to date in parallel and distributed discrete event simulation is based on assigning precise time stamps to events, and time stamp order event processing. An alternative ...
142
Voted
FMCAD
2000
Springer
15 years 7 months ago
2000
Springer
Bus protocols are hard to specify correctly, and yet it is often critical and highly beneficial that their specifications are correct, complete, and unambiguous. The informal speci...
133
click to vote
ACSD
2008
IEEE
15 years 6 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...
137
Voted
WSC
2008
15 years 6 months ago
2008
This research endeavor focused on the warehouse receiving process at a large food distribution center, which comprises of trucks with goods reaching the destination warehouse, unl...