4890 search results - page 510 / 978 » From system specifications to component behavioral models |
196
click to vote
WSC
1998
15 years 8 months ago
1998
This paper presents the application of real-time simulation to assign due dates on logistic-manufacturing networks. Information from the manufacturing, transportation, and supplie...
194
click to vote
WSC
2007
15 years 9 months ago
2007
ExtendSim 7 is a proven simulation environment capable of modeling a wide range of systems. ExtendSim 7 is used to model continuous, discrete event, discrete rate, and agent based...
193
click to vote
CAV
2001
Springer
15 years 11 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. When verification succeeds and the system is proven to be correct, there is still a q...
193
click to vote
ICANN
2003
Springer
16 years 13 days ago
2003
Springer
The concept of semantic and context aware intelligent systems provides a vision for the Information Society where the emphasis lays on computing applications that can sense context...
191
click to vote
WSC
2007
15 years 9 months ago
2007
Often the process and effort in building interoperable Command and Control (C2) systems and simulations can be arduous. Invariably the difficulty is in understanding what is inten...