255 search results - page 46 / 51 » Conservative Simulation for Discrete Event Systems |
135
click to vote
ENTCS
2006
15 years 5 months ago
2006
Global component behaviours as distinguished in Paradigm, offer the ingredients for specifying inter-component coordination in separation from and consistent with detailed compone...
162
click to vote
IPSN
2004
Springer
15 years 11 months ago
2004
Springer
This paper describes a modeling and simulation framework called VisualSense for wireless sensor networks that builds on and leverages Ptolemy II. This framework supports actor-ori...
139
click to vote
WSC
1998
15 years 7 months ago
1998
Proof AnimationTM is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsize...
133
click to vote
WSC
1997
15 years 7 months ago
1997
Proof Animation™ 4.0 is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, mi...
150
click to vote
WSC
1989
15 years 7 months ago
1989
Proof Animation™ is a family of products for animating discrete event simulations. Proof is available in a variety of versions, including an inexpensive, student version, midsiz...