4217 search results - page 799 / 844 » The Small Model Property: How Small Can It Be |
BMCBI
2005
13 years 9 months ago
2005
Background: MicroRNAs (miRNAs) are endogenous 21 to 23-nucleotide RNA molecules that regulate protein-coding gene expression in plants and animals via the RNA interference pathway...
SIGCOMM
1996
ACM
14 years 1 months ago
1996
ACM
There is much experimental evidence that network traffic processes exhibit ubiquitous properties of self-similarity and long-range dependence, i.e., of correlations over a wide ran...
SPIN
2000
Springer
14 years 17 days ago
2000
Springer
Abstract. We report on the use of model checking techniques for both the verification of a process control program and the derivation of optimal control schedules. Most of this wor...
TON
2012
11 years 11 months ago
2012
Abstract—Wireless sensor networks (WSNs) have been increasingly available for critical applications such as security surveillance and environmental monitoring. An important perfo...
SIGMOD
2010
ACM
14 years 1 months ago
2010
ACM
Modern maps provide a variety of information about roads and their surrounding landscape allowing navigation systems to go beyond simple shortest path computation. In this demo, w...