12032 search results - page 581 / 2407 » Simulation of Manufacturing Systems |
271
click to vote
ENTCS
2006
15 years 7 months ago
2006
This paper gives an overview of recent results concerning the modular derivation of (i) modal specification logics, (ii) notions of simulation together with logical characterisati...
206
click to vote
IAT
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--The development of large-scale distributed multiagent systems in open dynamic environments is a challenge. System behavior is often not predictable and can only be evalua...
175
click to vote
QEST
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, ...
171
click to vote
IAW
2003
IEEE
16 years 15 days ago
2003
IEEE
- This paper will outline issues associated with communication system interoperability, the security vulnerabilities associated with improved interoperability, network simulation t...
180
click to vote
WSC
2004
15 years 8 months ago
2004
We discuss a modification of the process world view, a graphical modeling representation language for the modified process world view called Control Flow Graphs (CFGs), an extensi...