7508 search results - page 431 / 1502 » A new approach for distributed computing in avionics systems |
197
click to vote
CONCUR
2005
Springer
16 years 1 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...
176
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
In this paper, we tackle the satisfiability problem for multi-context systems. First, we establish a satisfiability algorithm based on an encoding into propositional logic. Then, w...
220
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Coevolutionary systems like hosts and their parasites are commonly used model systems for evolutionary studies. Inferring the coevolutionary history based on given phy...
200
click to vote
CBMS
2008
IEEE
16 years 2 months ago
2008
IEEE
Privacy and security are critical requirements for using patient profiles in distributed healthcare environments. The amalgamation of new information technology with traditional ...
204
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
In many wireless systems, interference is the main performance-limiting factor, and is primarily dictated by the locations of concurrent transmitters. In many earlier works, the l...