4074 search results - page 423 / 815 » Abstract Graph Transformation |
170
click to vote
EUROGP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Cartesian Genetic Programming is a graph based representation that has many benefits over traditional tree based methods, including bloat free evolution and faster evolu...
206
Voted
FMCO
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. In recent years a bundle of parallel and distributed algorithms for verification of finite state systems has appeared. We survey distributed-memory enumerative LTL mode...
177
click to vote
FMCO
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...
156
Voted
ITRUST
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. Logic languages establish a formal framework to solve authorization and delegation conflicts. However, we consider that a visual representation is necessary since graphs...
162
click to vote
STACS
2005
Springer
16 years 8 days ago
2005
Springer
Abstract. We present a mathematical model to analyse the establishment and maintenance of communication between mobile agents. We assume that the agents move through a fixed envir...