1922 search results - page 253 / 385 » ie 2007 |
186
click to vote
EUROCRYPT
2007
Springer
16 years 1 months ago
2007
Springer
We give a complexity-theoretic characterization of the class of problems in NP having zero-knowledge argument systems. This characterization is symmetric in its treatment of the ze...
194
click to vote
EUROPAR
2007
Springer
16 years 1 months ago
2007
Springer
We study the connectivity properties of a family of random graphs which closely model the Bluetooth’s device discovery process, where each device tries to connect to other device...
185
Voted
FC
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. Anonymity-protection techniques are crucial for various commercial and financial transactions, where participants are worried about their privacy. On the other hand, aut...
179
click to vote
FMCO
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes the architecture of costa, an abstract interpretation based cost and termination analyzer for Java bytecode. The system receives as input a bytecode program, (...
208
click to vote
FROCOS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present an overview of results on hierarchical and modular reasoning in complex theories. We show that for a special type of extensions of a base theory, which we call...