759 search results - page 152 / 152 » Identifying Modeling Errors in Signatures by Model Checking |
COMCOM
2007
13 years 4 months ago
2007
Real-time transmission over asymmetric satellite IP links is challenging, since satellite systems commonly exhibit long propagation delays, while bandwidth asymmetry often enforce...
TON
2010
12 years 11 months ago
2010
Abstract--Every congestion control protocol operating in wireless networks is potentially faced with two major challenges of performance degradation. These sources are (a) the coup...
AAAI
2008
13 years 6 months ago
2008
Email client software is widely used for personal task management, a purpose for which it was not designed and is poorly suited. Past attempts to remedy the problem have focused o...
BMCBI
2005
13 years 4 months ago
2005
Background: In expressed sequence tag (EST) sequencing, we are often interested in how many genes we can capture in an EST sample of a targeted size. This information provides ins...