113 search results - page 18 / 23 » Compositional Abstraction of PEPA Models for Transient Analy... |
BIRD
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We propose a computational method for reconstructing metabolic networks. The method utilizes optimization techniques and graph traversal algorithms to discover a set of b...
ENTCS
2007
13 years 9 months ago
2007
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
COORDINATION
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. Constraint automata have been used as an operational model for component connectors that coordinate the cooperation and communication of the components by means of a netw...
EVOW
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. We describe a set of preliminary experiments to evolve spiking neural controllers for a vision-based mobile robot. All the evolutionary experiments are carried out on phy...
HYBRID
2001
Springer
14 years 2 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...