385 search results - page 54 / 77 » Semi-automatic Distributed Synthesis |
CONCUR
2005
Springer
14 years 3 months ago
2005
Springer
We propose a compositional approach to the dynamics of gene regulatory networks based on the stochastic π-calculus, and develop a representation of gene network elements which can...
FSTTCS
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
GECCO
2005
Springer
14 years 3 months ago
2005
Springer
We present a Genetic Programming approach to evolve cooperative controllers for teams of UAVs. Our focus is a collaborative search mission in an uncertain and/or hostile environme...
NSPW
2004
ACM
14 years 3 months ago
2004
ACM
This paper presents a new paradigm for information theory which is a synthesis of Barwise-Seligman’s qualitative theory and Shannon’s quantitative theory. The new paradigm is ...
ASWSD
2004
Springer
14 years 3 months ago
2004
Springer
Embedded software development for automotive applications is widely considered as a significant source of innovation and improvements in cars. However, software development proces...