237 search results - page 14 / 48 » Toward Verified Biological Models |
ICSM
2005
IEEE
15 years 3 months ago
2005
IEEE
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvabil...
TCS
2008
14 years 9 months ago
2008
Temporal logics and model-checking have proved successful to respectively express biological properties of complex biochemical systems, and automatically verify their satisfaction...
62
Voted
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
Researchers of HIV-1 are today, still unable to determine exactly the biological mechanisms that cause AIDS. Various mechanisms have been hypothesized and their existences have be...
ICMCS
2007
IEEE
15 years 4 months ago
2007
IEEE
We consider surveillance problems to be a set of system- adversary interaction problems in which an adversary can be modeled as a rational (selfish) agent trying to maximize his ...
NN
2000
Springer
14 years 9 months ago
2000
Springer
Pattern completion in a neural network model of the thalamus and a biologically plausible model of synaptic plasticity are the key concepts used in this paper for analyzing some c...