2470 search results - page 39 / 494 » Liveness-Preserving Simulation Relations |
55
Voted
WSC
2004
15 years 1 months ago
2004
2004 brought a landmark event in the changes to regulations governing hours of service for truck drivers. This paper describes an effort utilizing modeling and simulation for eval...
101
click to vote
WSC
2000
15 years 1 months ago
2000
An on-road analytical tire model has been developed to predict tire forces and moments at the tire/road interface. The model is computationally efficient and it only requires a li...
107
Voted
WSC
2004
15 years 1 months ago
2004
This paper describes a proposed pilot educational program to teach middle and high school students the space shuttle processing operations. This pilot program involves a partnersh...
WSC
1998
15 years 1 months ago
1998
Flexible automation in the form of mobile robots holds the potential for decreasing operating costs while improving delivery performance in mid-size hospital delivery systems. Thi...
93
Voted
IANDC
2008
15 years 15 days ago
2008
A previous paper introduced eternity variables as an alternative to the prophecy variables of Abadi and Lamport and proved the formalism to be semantically complete: every simulat...