1541 search results - page 259 / 309 » Tools and Techniques for Model Checking Networked Programs |
129
click to vote
BMCBI
2007
15 years 3 months ago
2007
Background: ChIP-chip data, which indicate binding of transcription factors (TFs) to DNA regions in vivo, are widely used to reconstruct transcriptional regulatory networks. Howev...
136
click to vote
ASPDAC
2005
ACM
15 years 9 months ago
2005
ACM
－In high performance systems, process variations and fluctuations of operating environments have significant impact on the clock skew. Recently, hybrid structures of H-tree and m...
145
click to vote
CISS
2007
IEEE
15 years 4 months ago
2007
IEEE
This paper introduces a robust approach to stochastic multi-hop routing for wireless networks when the quality of links is modelled through a reliability matrix R. Yielding to the ...
262
Voted
ICDE
2007
IEEE
16 years 5 months ago
2007
IEEE
In many distributed environments, the primary function of monitoring software is to detect anomalies, that is, instances when system behavior deviates substantially from the norm....
122
Voted
HICSS
2010
IEEE
15 years 10 months ago
2010
IEEE
It is generally acknowledged that macroinvertebrates are good indicators of water quality in streams, as a number of taxa are sensitive to pollution and integrate their response t...