1362 search results - page 233 / 273 » Model Checking Large Network Protocol Implementations |
125
click to vote
INFOCOM
2010
IEEE
15 years 13 days ago
2010
IEEE
—Inter-contact time between moving vehicles is one of the key metrics in vehicular ad hoc networks (VANETs) and central to forwarding algorithms and the end-to-end delay. Due to ...
139
click to vote
BMCBI
2008
15 years 2 months ago
2008
Background: Probability based statistical learning methods such as mutual information and Bayesian networks have emerged as a major category of tools for reverse engineering mecha...
117
click to vote
ALGOSENSORS
2007
Springer
15 years 8 months ago
2007
Springer
e for abstract modeling, algorithmic design and analysis to achieve provably efficient, scalable and fault-tolerant realizations of such huge, highly-dynamic, complex, non-conventi...
118
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: Protein interactions support cell organization and mediate its response to any specific stimulus. Recent technological advances have produced large data-sets that aim ...
125
click to vote
SIGMETRICS
2004
ACM
15 years 7 months ago
2004
ACM
The Least Attained Service (LAS) scheduling policy, when used for scheduling packets over the bottleneck link of an Internet path, can greatly reduce the average flow time for sh...