1302 search results - page 121 / 261 » Soundness in the Public-Key Model |
165
click to vote
TASLP
2002
15 years 6 months ago
2002
This paper presents a new audio coder that includes two techniques to improve the sound quality of the audio coding system. First, a forward masking model is proposed. This model e...
297
click to vote
POPL
2007
ACM
16 years 6 months ago
2007
ACM
We present a model of recursive and impredicatively quantified types with mutable references. We interpret in this model all of the type constructors needed for typed intermediate...
188
click to vote
IEEEICCI
2008
IEEE
16 years 28 days ago
2008
IEEE
—A new abstract model of computation, the computational manifold, provides a framework for approaching the problems of consciousness, awareness, cognition and symbolic processing...
165
click to vote
LICS
2006
IEEE
16 years 15 days ago
2006
IEEE
A compositional Petri net based semantics is given to a simple pointer-manipulating language. The model is then applied to give a notion of validity to the judgements made by conc...
132
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
This paper examines challenges involved in managing product-centered communities. Using the notion of customer role ambiguity, the paper explores the ambiguity involved in balanci...