38 search results - page 8 / 8 » A Pi-calculus formalism for discrete event simulation |
CGF
1998
13 years 5 months ago
1998
In contrast with the growth of plants and trees, human organs can undergo signi cant changes in shape through a variety of global transformations during the growth period, such as...
ROBOCUP
2007
Springer
13 years 11 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...
AMAI
2008
Springer
13 years 5 months ago
2008
Springer
We study distributed boundary coverage of known environments using a team of miniature robots. Distributed boundary coverage is an instance of the multi-robot task-allocation prob...