Sciweavers

2570 search results - page 218 / 514
» Reliability Modeling Using UML
Sort
View
ICSEA
2009
IEEE
15 years 1 days ago
Validation of Scenario-Based Business Requirements with Coloured Petri Nets
A scenario can be used to describe a possible instantiation of a given business use case and can be expressed for example as a list of steps written in natural language, or by an ...
Óscar R. Ribeiro, João M. Fernandes
ICDCN
2010
Springer
15 years 9 months ago
Authenticated Byzantine Generals in Dual Failure Model
Pease et al. introduced the problem of Byzantine Generals (BGP) to study the effects of Byzantine faults in distributed protocols for reliable broadcast. It is well known that BG...
Anuj Gupta, Prasant Gopal, Piyush Bansal, Kannan S...
ICC
2008
IEEE
158views Communications» more  ICC 2008»
15 years 8 months ago
Improving WSN Simulation and Analysis Accuracy Using Two-Tier Channel Models
— Accurate simulation and analysis of wireless protocols and systems is inherently dependent on an accurate model of the underlying channel. In this paper, we show that residual ...
Adnan Iqbal, Syed Ali Khayam
115
Voted
CORR
2011
Springer
200views Education» more  CORR 2011»
14 years 9 months ago
Sequential Analysis in High Dimensional Multiple Testing and Sparse Recovery
—This paper studies the problem of high-dimensional multiple testing and sparse recovery from the perspective of sequential analysis. In this setting, the probability of error is...
Matt Malloy, Robert Nowak
ICC
2007
IEEE
110views Communications» more  ICC 2007»
15 years 8 months ago
Resource Optimization to Provision a Virtual Private Network Using the Hose Model
— Virtual Private Networks (VPN) provide a secure and reliable communication between customer sites over a shared network. With increase in number and size of VPNs, providers nee...
Monia Ghobadi, Sudhakar Ganti, Gholamali C. Shoja