12032 search results - page 265 / 2407 » Simulation of Manufacturing Systems |
128
click to vote
WSC
2000
15 years 5 months ago
2000
SLX by Wolverine software is actually one of the fastest simulation languages. Besides the high performance the SLX-compiler can be extended very easily by user specific syntax ru...
130
click to vote
ICCAD
2001
IEEE
16 years 1 months ago
2001
IEEE
tems. STARS manipulates abstract representations of system components to obtain upper bounds on the number of various events in the system, as well as a bound on the response time....
141
click to vote
WSC
2008
15 years 6 months ago
2008
Despite increasing dependency on technology, the importance of humans is expected to increase and to provide a realistic basis for decision support; both technical and organizatio...
118
click to vote
IJAOSE
2008
15 years 4 months ago
2008
: This paper presents the Process for Agent Specification, Simulation and Implementation (PASSIM), a simulation-based development process for Multi-agent Systems (MASs), which was ...
154
click to vote
FORMATS
2006
Springer
15 years 8 months ago
2006
Springer
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...