3625 search results - page 144 / 725 » On Timed Models of Gene Networks |
FM
2009
Springer
13 years 6 months ago
2009
Springer
Abstract. We propose an approach to automatic verification of realtime systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA...
BMCBI
2006
13 years 8 months ago
2006
Background: The abundant data available for protein interaction networks have not yet been fully understood. New types of analyses are needed to reveal organizational principles o...
ICASSP
2011
IEEE
12 years 12 months ago
2011
IEEE
We present several modifications of the original recurrent neural network language model (RNN LM). While this model has been shown to significantly outperform many competitive l...
IJNSEC
2010
13 years 3 months ago
2010
Passive worm have posed serious security threats to the functioning of unstructured P2P networks. A delayed SEIRS epidemic model with death, off line and online rate is constructe...
EUROMICRO
2003
IEEE
14 years 1 months ago
2003
IEEE
One of the typical features of distributed systems is the heterogeneity of its components (e.g. geographical spreading and different platform architectures), leading to interopera...