2920 search results - page 24 / 584 » Finite information logic |
CORR
2010
Springer
13 years 4 months ago
2010
Springer
Information flow analysis is a powerful technique for reasoning about the sensitive information exposed by a program during its execution. While past work has proposed information...
LOGCOM
2010
13 years 4 months ago
2010
When monitoring a system wrt. a property defined in a temporal logic such as LTL, a major concern is to settle with an adequate interpretation of observable system events; that is,...
GLOBECOM
2010
IEEE
13 years 7 months ago
2010
IEEE
In this paper, results on the mutual information of MIMO transmission over spatially correlated channels in slow fading environments are presented. Different receiver techniques su...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
We consider a finite-state memoryless channel with i.i.d. channel state and the input Markov process supported on a mixing finite-type constraint. We discuss the asymptotic behavio...
IH
2004
Springer
14 years 3 months ago
2004
Springer
In this paper, we consider how to hide information into finite state machine (FSM), one of the popular computation models. The key advantage of hiding information in FSM is that t...