Sciweavers

2029 search results - page 145 / 406
» informs 2002
Sort
View
174
Voted
RE
2002
Springer
15 years 5 months ago
Requirements-Level Semantics and Model Checking of Object-Oriented Statecharts
perfect technology assumption, which abstracts from limitations imposed by an implementation. Statecharts describe object life cycles. Our semantics includes synchronous and asynch...
Rik Eshuis, David N. Jansen, Roel Wieringa
194
Voted
SAC
2002
ACM
15 years 5 months ago
Collaborative attack modeling
Avoidance and discovery of security vulnerabilities in information systems requires awareness of typical risks and a good understanding of vulnerabilities and their exploitations....
Jan Steffan, Markus Schumacher
TIT
2002
73views more  TIT 2002»
15 years 5 months ago
Quantum rate-distortion theory for memoryless sources
We formulate quantum rate-distortion theory in the most general setting where classical side information is included in the tradeoff. Using a natural distortion measure based on en...
Igor Devetak, Toby Berger
TIT
2002
64views more  TIT 2002»
15 years 5 months ago
An information-theoretic and game-theoretic study of timing channels
This paper focuses on jammed timing channels. Pure delay jammers with a maximum delay constraint, an average delay constraint, or a maximum buffer size constraint are explored, for...
James Giles, Bruce Hajek
TIT
2002
129views more  TIT 2002»
15 years 5 months ago
Combinatorial bounds for list decoding
Abstract--Informally, an error-correcting code has "nice" listdecodability properties if every Hamming ball of "large" radius has a "small" number of ...
Venkatesan Guruswami, Johan Håstad, Madhu Su...