Sciweavers

2294 search results - page 335 / 459
» From Path Graphs to Directed Path Graphs
Sort
View
ICCCN
2008
IEEE
14 years 3 months ago
STRID: Scalable Trigger-Based Route Incidence Diagnosis
—As the Internet steadily increases in importance, it is still based on a quite fragile routing design. From network operators perspective it is therefore crucial to detect end-t...
Feng Wang, Lixin Gao, Oliver Spatscheck, Jia Wang
ICSEA
2007
IEEE
14 years 3 months ago
Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers
Abstract—Nondeterminism is used as a means of underspecification or implementation choice in specifications, and it is often necessary if part of a system or the environment is...
Gordon Fraser, Franz Wotawa
UAI
2001
13 years 10 months ago
Linearity Properties of Bayes Nets with Binary Variables
It is "well known" that in linear models: (1) testable constraints on the marginal distribution of observed variables distinguish certain cases in which an unobserved ca...
David Danks, Clark Glymour
CORR
2010
Springer
147views Education» more  CORR 2010»
13 years 9 months ago
Multistage Relaying Using Interference Networks
Wireless networks with multiple nodes that relay information from a source to a destination are expected to be deployed in many applications. In this work, we consider multihoppin...
Bama Muthuramalingam, Srikrishna Bhashyam, Andrew ...
IJSNET
2007
91views more  IJSNET 2007»
13 years 9 months ago
SUMP: a secure unicast messaging protocol for wireless ad hoc sensor networks
: Most wireless ad hoc sensor networks are susceptible to routing level attacks, in which an adversary masquerades as a legitimate node to convince neighbouring nodes that it is th...
Jeff Janies, Chin-Tser Huang, Nathan L. Johnson, T...