Sciweavers

67 search results - page 4 / 14
» dsn 2007
Sort
View
DSN
2007
IEEE
13 years 11 months ago
Assurance Based Development of Critical Systems
  Assurance Based Development (ABD) is the synergistic construction of a critical computing system and an  assurance  case  that  sets  out  the  dependabilit...
Patrick J. Graydon, John C. Knight, Elisabeth A. S...
DSN
2007
IEEE
13 years 11 months ago
Fault Tolerant Planning for Critical Robots
Autonomous robots offer alluring perspectives in numerous application domains: space rovers, satellites, medical assistants, tour guides, etc. However, a severe lack of trust in t...
Benjamin Lussier, Matthieu Gallien, Jér&eac...
DSN
2007
IEEE
13 years 11 months ago
Variational Bayesian Approach for Interval Estimation of NHPP-Based Software Reliability Models
In this paper, we present a variational Bayesian (VB) approach to computing the interval estimates for nonhomogeneous Poisson process (NHPP) software reliability models. This appr...
Hiroyuki Okamura, Michael Grottke, Tadashi Dohi, K...
DSN
2007
IEEE
13 years 11 months ago
Minimizing Response Time for Quorum-System Protocols over Wide-Area Networks
A quorum system is a collection of sets (quorums) of servers, where any two quorums intersect. Quorumbased protocols underly modern edge-computing architectures and throughput-sca...
Florian Oprea, Michael K. Reiter
DSN
2007
IEEE
13 years 11 months ago
R-Sentry: Providing Continuous Sensor Services against Random Node Failures
The success of sensor-driven applications is reliant on whether a steady stream of data can be provided by the underlying system. This need, however, poses great challenges to sen...
Shengchao Yu, Yanyong Zhang