5809 search results - page 216 / 1162 » On Quantifying Semantic Information |
144
click to vote
ISCIS
2004
Springer
16 years 3 hour ago
2004
Springer
We explain the use of PEPA nets in documenting high-level designs of mobile code and mobile computing systems. This modelling language (which allows the modeller to differentiate ...
193
click to vote
GFKL
2006
Springer
15 years 10 months ago
2006
Springer
We begin with pervasive ultrametricity due to high dimensionality and/or spatial sparsity. How extent or degree of ultrametricity can be quantified leads us to the discussion of va...
158
click to vote
ESORICS
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. We propose a novel approach for quantifying a system's resistance to unknown-message side-channel attacks. The approach is based on a measure of the secret informati...
182
click to vote
IJCAI
1989
15 years 7 months ago
1989
We Imbed Into a first order logic a representation language that combines atemporal knowledge with time stamps in a hierarchical fashion. Each time structure contains its own chro...
170
click to vote
DCC
2010
IEEE
15 years 6 months ago
2010
IEEE
We provide a stronger definition of anonymity in the context of shared symmetric key primitives, and show that existing schemes do not provide this level of anonymity. A new schem...