752 search results - page 144 / 151 » A Markov Chain Model Checker |
INFOCOM
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— This paper considers jointly optimal design of crosslayer congestion control, routing and scheduling for ad hoc wireless networks. We first formulate the rate constrai...
CORR
2010
Springer
13 years 7 months ago
2010
Springer
Incorporating probabilities into the semantics of incomplete databases has posed many challenges, forcing systems to sacrifice modeling power, scalability, or treatment of relatio...
COMCOM
2006
13 years 7 months ago
2006
Although many location schemes have been proposed and analyzed, the tradeoff among the location registration and the call delivery of different schemes and the relative performanc...
BMCBI
2007
13 years 7 months ago
2007
Background: Ionic current blockade signal processing, for use in nanopore detection, offers a promising new way to analyze single molecule properties, with potential implications ...
INFOCOM
2009
IEEE
14 years 2 months ago
2009
IEEE
— Optical packet switches of the foreseeable future are expected to have severely limited buffering capability, since storage of optical signals remains a difficult and expensiv...