387 search results - page 14 / 78 » Localization Using Discrete Event Simulation |
WSC
1998
13 years 9 months ago
1998
We describe the use of discrete event simulation in modeling the curbside vehicular traffic at airports. The dynamic nature of vehicular traffic poses a challenge in developing a ...
PADS
2005
ACM
14 years 1 months ago
2005
ACM
Neural systems are composed of a large number of highly-connected neurons and are widely simulated within the neurological community. In this paper, we examine the application of ...
DEDS
2000
13 years 7 months ago
2000
We address the problem of failure diagnosis in discrete event systems with decentralized information. We propose a coordinated decentralized architecture consisting of local sites ...
HYBRID
1994
Springer
13 years 11 months ago
1994
Springer
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
ICFEM
2009
Springer
13 years 5 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...