385 search results - page 54 / 77 » Semi-automatic Distributed Synthesis |
138
click to vote
CONCUR
2005
Springer
15 years 10 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...
145
click to vote
FSTTCS
2005
Springer
15 years 10 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 ...
194
click to vote
GECCO
2005
Springer
15 years 10 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...
106
click to vote
NSPW
2004
ACM
15 years 10 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 ...
161
click to vote
ASWSD
2004
Springer
15 years 10 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...