Sciweavers

4971 search results - page 385 / 995
» Observation systems
Sort
View
IEEEARES
2009
IEEE
15 years 4 months ago
Quantitative Analysis of Secure Information Flow via Probabilistic Semantics
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...
Chunyan Mu, David Clark
TCOM
2010
84views more  TCOM 2010»
15 years 1 months ago
On using transmission overhead efficiently for channel estimation in OFDM
The limited time available for acquiring the channel state in mobile broadband wireless communication systems makes it crucial to count with channel estimation methods that attain ...
Christian Oberli, María Constanza Estela, M...
INFOCOM
2011
IEEE
14 years 10 months ago
Optimal channel assignment and power allocation for dual-hop multi-channel multi-user relaying
Abstract—We consider the problem of jointly optimizing channel pairing, channel-user assignment, and power allocation in a single-relay multiple-access system. The optimization o...
Mahdi Hajiaghayi, Min Dong, Ben Liang
SIGMOD
2011
ACM
249views Database» more  SIGMOD 2011»
14 years 9 months ago
ProApproX: a lightweight approximation query processor over probabilistic trees
We demonstrate a system for querying probabilistic XML documents with simple XPath queries. A user chooses between a variety of query answering techniques, both exact and approxim...
Pierre Senellart, Asma Souihli
AAAI
2008
15 years 9 months ago
A Scalable Jointree Algorithm for Diagnosability
Diagnosability is an essential property that determines how accurate any diagnostic reasoning can be on a system given any sequence of observations. An unobservable fault event in...
Anika Schumann, Jinbo Huang