1541 search results - page 264 / 309 » Tools and Techniques for Model Checking Networked Programs |
131
click to vote
MOBICOM
2004
ACM
15 years 6 months ago
2004
ACM
Recent years have seen the growing popularity of multi-rate wireless network devices (e.g., 802.11a cards) that can exploit variations in channel conditions and improve overall ne...
85
Voted
BIB
2006
15 years 17 days ago
2006
Flux balance analysis (FBA) has emerged as an effective means to analyse biological networks in a quantitative manner. Much progress has been made on the extension of FBA to incor...
115
Voted
BMCBI
2005
15 years 12 days ago
2005
Background: Profile hidden Markov model (HMM) techniques are among the most powerful methods for protein homology detection. Yet, the critical features for successful modelling ar...
WCE
2007
15 years 1 months ago
2007
Abstract—The major infrastructure component required to develop an underground mine is a decline, which is a system of tunnels used for access and haulage. In this paper we study...
128
click to vote
JDFP
2006
15 years 14 days ago
2006
Over the past decade, the advancement of a myriad of methods, techniques and technologies to conceal digital evidence and covertly communicate have increased at an alarming rate. I...