1007 search results - page 174 / 202 » An Empirical Study of the Coolstreaming System |
82
Voted
KBSE
2010
IEEE
14 years 8 months ago
2010
IEEE
We study the problem of statistical model checking of probabilistic systems for PCTL unbounded until property P1p(ϕ1 U ϕ2) (where 1 ∈ {<, ≤, >, ≥}) using the computa...
EH
2005
IEEE
15 years 3 months ago
2005
IEEE
Manufacturing processes are a key source of faults in complex hardware systems. Minimizing this impact of manufacturing uncertainties is one way towards achieving fault tolerant s...
198
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
The problem of automatically extracting the most interesting and relevant keyword phrases in a document has been studied extensively as it is crucial for a number of applications. ...
SENSYS
2006
ACM
15 years 3 months ago
2006
ACM
It is vital to support concurrent applications sharing a wireless sensor network in order to reduce the deployment and administrative costs, thus increasing the usability and efï¬...
BMCBI
2007
14 years 9 months ago
2007
Background: The progress in the "-omic" sciences has allowed a deeper knowledge on many biological systems with industrial interest. This knowledge is still rarely used ...