42 search results - page 5 / 9 » Patterns and Rules for Behavioural Subtyping |
CAISE
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Safety policy is a collection of rules that govern the behaviour of entities such that they do not cause accidents. It has been suggested that policies in general can be ...
AUIC
2006
IEEE
14 years 1 months ago
2006
IEEE
Graphical rewrite rules are often used in programming environments for children. These rules consist of two parts: a left-hand side, which is visually matched in the environment, ...
ECAL
2001
Springer
13 years 12 months ago
2001
Springer
A crucial feature of evolving natural systems is parallelism. The simultaneous and distributed application of rules (governed by e.g. biochemistry) is generally considered as the p...
CORR
2011
Springer
13 years 2 months ago
2011
Springer
—We present a method to eliminate redundancy in the transition tables of Boolean automata: schema redescription with two symbols. One symbol is used to capture redundancy of indi...
GEM
2009
13 years 5 months ago
2009
Swarms of microscopic organisms are well known in nature and have been shown to exhibit many unexpected collective behaviours. We model a swarm of artificial animats in a model wh...