647 search results - page 95 / 130 » Simulating Failures on Large-Scale Systems |
CDC
2008
IEEE
14 years 2 months ago
2008
IEEE
Abstract— This paper addresses passivity-based output synchronization and a collision avoidance problem of rigid bodies in the Special Euclidean group SE(3) under the assumption ...
SASO
2008
IEEE
14 years 2 months ago
2008
IEEE
The distribution of data in large dynamic wireless sensor networks presents a difficult problem due to node mobility, link failures, and traffic congestion. In this paper, we pr...
ICTAI
2007
IEEE
14 years 2 months ago
2007
IEEE
In this work we report results on the use of symbolic knowledge representation and reasoning (KRR) for perceptual anchoring. This is the creation and maintenance of a connection b...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
Abstract— In a multi-source video streaming system, premature draining of low-power nodes can cause sudden failures of peer connections and degrade streaming performance. To solv...
QEST
2005
IEEE
14 years 1 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...