23704 search results - page 19 / 4741 » Data and Information as Property |
IJMMS
2006
15 years 1 months ago
2006
For human operators supervising a complex system it is crucial to have a powerful and flexible information presentation system. In order to reduce the cognitive load operators oft...
104
click to vote
JCS
2011
14 years 8 months ago
2011
In this paper we consider the problem of verifying trace-based information flow properties for different classes of system models. We begin by proposing an automata-theoretic te...
109
click to vote
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Deeply embedded infrastructures are pervasive systems that have significant cyber and physical components, interacting with each other in complex ways. These interactions can vio...
CORR
2007
Springer
15 years 1 months ago
2007
Springer
— While most useful information theoretic inequalities can be deduced from the basic properties of entropy or mutual information, Shannon’s entropy power inequality (EPI) seems...
109
click to vote
STACS
2005
Springer
15 years 7 months ago
2005
Springer
In property testing, we are given oracle access to a function f, and we wish to test if the function satisfies a given property P, or it is ε-far from having that property. In a...