827 search results - page 137 / 166 » Patterns for Timed Property Specifications |
129
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. We present the discrete beeping communication model, which assumes nodes have minimal knowledge about their environment and severely limited communication capabilities. S...
114
click to vote
PEWASUN
2006
ACM
15 years 7 months ago
2006
ACM
Many previous papers have pointed out that TCP performance in multi-hop ad hoc networks is not optimal. This is due to several TCP design principles that reflect the characteristi...
102
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: The methodologies we use both enable and help define our research. However, as experimental complexity has increased the choice of appropriate methodologies has become...
124
click to vote
BIODATAMINING
2008
15 years 2 months ago
2008
Serial analysis of gene expression (SAGE) is one of the most powerful tools for global gene expression profiling. It has led to several biological discoveries and biomedical appli...
132
click to vote
BMCBI
2004
15 years 1 months ago
2004
Background: In recent years, clustering algorithms have been effectively applied in molecular biology for gene expression data analysis. With the help of clustering algorithms suc...