189 search results - page 18 / 38 » Modeling Concurrent Real-Time Processes Using Discrete Event... |
ICCL
1998
IEEE
13 years 12 months ago
1998
IEEE
We describe Triveni, a framework and API for integrating threads and events. The design of Triveni is based on an algebra, including preemption combinators, of processes. Triveni ...
TCAD
1998
13 years 7 months ago
1998
—We give a denotational framework (a “meta model”) within which certain properties of models of computation can be compared. It describes concurrent processes in general term...
WWW
2008
ACM
14 years 8 months ago
2008
ACM
While WS-BPEL is emerging as the prominent language for modeling executable business processes, it provides limited support for designing flexible processes. An important need of ...
PADS
2003
ACM
14 years 28 days ago
2003
ACM
This paper presents Maya, a multi-paradigm, scalable and extensible network modeling framework for emulating distributed applications. A novel three-tier architecture is proposed ...
WSC
2000
13 years 9 months ago
2000
Discrete event simulation can be used for virtual prototyping of new manufacturing facilities. Models built for this purpose must be easy to use, flexible, and provide a realistic...