2661 search results - page 346 / 533 » Model Checking Performability Properties |
BMCBI
2007
13 years 10 months ago
2007
Background: The identification of transcription factors (TFs) associated with a biological process is fundamental to understanding its regulatory mechanisms. From microarray data,...
SIROCCO
2008
14 years 2 days ago
2008
The augmented graph model, as introduced by Kleinberg (STOC 2000), is an appealing model for analyzing navigability in social networks. Informally, this model is defined by a pair...
MICCAI
2008
Springer
14 years 11 months ago
2008
Springer
In this paper, we present a new framework that performs automated local wall motion analysis based on the combined information derived from a rest and stress sequence (a full stres...
WCNC
2008
IEEE
14 years 5 months ago
2008
IEEE
—Physical Carrier Sensing plays a crucial role in the effectiveness of CSMA-based MAC protocols, yet its properties and impact on the system performance under slow fading channel...
VALUETOOLS
2006
ACM
14 years 4 months ago
2006
ACM
— We introduce a new congestion control algorithm for high speed networks, called TCP-Illinois. TCP-Illinois uses packet loss information to determine whether the window size sho...