332 search results - page 7 / 67 » Specifying Complex and Structured Systems with Evolving Alge... |
ACRI
2004
Springer
14 years 27 days ago
2004
Springer
Abstract. This paper reviews the history of embedded, evolvable selfreplicating structures implemented as cellular automata systems. We relate recent advances in this field to the...
SEFM
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract. We introduce a visual notation for local specification of concurrent components based on message sequence charts (MSCs). Each component is a finite-state machine whose ...
TCOS
2008
13 years 7 months ago
2008
Denotational mathematics is a category of expressive mathematical structures that deals with high-level mathematical entities beyond numbers and sets, such as abstract objects, com...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
— A major challenge in the design of any real time system is the proper selection of implementation and platform alternatives. In this paper, a suitable FPGA-based design of the ...
CALCO
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We extend the theory of (co-)spans as a means of providing an algebraic approach to complex interactions as they arise in software-intensive systems. In order to make int...