397 search results - page 42 / 80 » Coalgebraic Models for Reactive Systems |
ASM
2008
ASM
13 years 10 months ago
2008
ASM
Event-B is a formal modelling method which is claimed to be suitable for diverse modelling domains, such as reactive systems and sequential program development. This claim hinges o...
ICALP
2010
Springer
14 years 1 months ago
2010
Springer
Graph transformation works under a whole-world assumption. In modelling realistic systems, this typically makes for large graphs and sometimes also large, hard to understand rules....
MEMBRANE
2004
Springer
14 years 2 months ago
2004
Springer
Some computational aspects and behavioral patterns of P systems are considered, emphasizing dynamical properties that turn useful in characterizing the behavior of biological and b...
ROBOCUP
2001
Springer
14 years 1 months ago
2001
Springer
We introduce Biter, a platform for the teaching and research of multiagent systems’ design. Biter implements a client for the RoboCup simulator. It provides users with the basic ...
IJCAI
2007
13 years 10 months ago
2007
Reasoning about the past is of fundamental importance in several applications in computer science and artificial intelligence, including reactive systems and planning. In this pa...