371 search results - page 61 / 75 » Pushdown Automata Simulator |
101
click to vote
WSC
1998
15 years 3 months ago
1998
This paper discusses the development of a series of models that ultimately leads to an unusual simulation approach to modeling automated guided vehicles on a factory floor. A pede...
119
click to vote
ATAL
2009
Springer
15 years 8 months ago
2009
Springer
This paper presents a framework for describing the spatial distribution and the global frequency of agents who play the spatial prisoner’s dilemma with coalition formation. The ...
103
Voted
WSC
2008
15 years 4 months ago
2008
Interactions between synaptic vesicles and synapsin in a presynaptic nerve terminal were modeled using the CellDEVS formalism. Vesicles and synapsins move randomly within the pres...
125
click to vote
ROBOCUP
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. This paper shows how multiagent systems can be modeled by a combination of UML statecharts and hybrid automata. This allows formal system cation on different levels of ab...
100
click to vote
MOVEP
2000
15 years 5 months ago
2000
Uppaal is a tool for modeling, simulation and verification of real-time systems, developed jointly by BRICS at Aalborg University and the Department of Computer Systems at Uppsala ...