5200 search results - page 45 / 1040 » Symbolic models for control systems |
ATVA
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
IASTEDSE
2004
13 years 10 months ago
2004
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
GECCO
2005
Springer
14 years 2 months ago
2005
Springer
This paper offers a novel approach to coevolution based on the sociological theory of symbolic interactionism. It provides a multi-agent computational model along with experimenta...
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE
CDC
2009
IEEE
14 years 1 months ago
2009
IEEE