Sciweavers

341 search results - page 2 / 69
» On Stochastic Modeling for Integrated Security and Dependabi...
Sort
View
CORR
2010
Springer
135views Education» more  CORR 2010»
13 years 5 months ago
A stochastic analysis of greedy routing in a spatially-dependent sensor network
For a sensor network, as tractable spatially-dependent node deployment model is presented with the property that the density is inversely proportional to the sink distance. A stoc...
H. Paul Keeler
QEST
2008
IEEE
13 years 11 months ago
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
Abstract—We present an approach to support the debugging of stochastic system models using interactive visualization. The goal of this work is to facilitate the identification o...
Husain Aljazzar, Stefan Leue
FORTE
2004
13 years 6 months ago
Symbolic Performance and Dependability Evaluation with the Tool CASPA
This paper describes the tool CASPA, a new performance evaluation tool which is based on a Markovian stochastic process algebra. CASPA uses multi-terminal binary decision diagrams ...
Matthias Kuntz, Markus Siegle, Edith Werner
ACL
2006
13 years 6 months ago
Discourse Generation Using Utility-Trained Coherence Models
We describe a generic framework for integrating various stochastic models of discourse coherence in a manner that takes advantage of their individual strengths. An integral part o...
Radu Soricut, Daniel Marcu
DSN
2000
IEEE
13 years 9 months ago
DEEM: A Tool for the Dependability Modeling and Evaluation of Multiple Phased Systems
Multiple-Phased Systems, whose operational life can be partitioned in a set of disjoint periods, called “phases”, include several classes of systems such as Phased Mission Sys...
Andrea Bondavalli, Ivan Mura, Silvano Chiaradonna,...