Sciweavers

870 search results - page 120 / 174
» The failure detector abstraction
Sort
View
ENTCS
2006
119views more  ENTCS 2006»
13 years 9 months ago
Trace Machines for Observing Continuous-Time Markov Chains
In this paper, we study several linear-time equivalences (Markovian trace equivalence, failure and ready trace equivalence) for continuous-time Markov chains that refer to the pro...
Verena Wolf, Christel Baier, Mila E. Majster-Ceder...
JNW
2008
75views more  JNW 2008»
13 years 9 months ago
Time Efficient Radio Broadcasting in Planar Graphs
Abstract-- We study the communication primitive of broadcasting (one-to-all communication) in known topology radio networks, i.e., where for each primitive the schedule of transmis...
Fredrik Manne, Qin Xin
PUC
2006
109views more  PUC 2006»
13 years 9 months ago
An adaptive middleware framework for context-aware applications
We describe a middleware framework for the adaptive delivery of context information to contextaware applications. The framework abstracts the applications from the sensors that pro...
Markus C. Huebscher, Julie A. McCann
TR
2008
67views more  TR 2008»
13 years 9 months ago
Degradation Analysis of Nano-Contamination in Plasma Display Panels
Abstract--As an alternative to traditional life testing, degradation tests can be effective in assessing product reliability when measurements of degradation leading to failure can...
Suk Joo Bae, Seong-Joon Kim, Man Soo Kim, Bae Jin ...
ML
2000
ACM
105views Machine Learning» more  ML 2000»
13 years 8 months ago
Multiple Comparisons in Induction Algorithms
Abstract. A single mechanism is responsible for three pathologies of induction algorithms: attribute selection errors, overfitting, and oversearching. In each pathology, induction ...
David D. Jensen, Paul R. Cohen