1818 search results - page 335 / 364 » Granularity-Adaptive Proof Presentation |
128
click to vote
APLAS
2004
ACM
15 years 8 months ago
2004
ACM
Abstract. More than being just a tool for expressing algorithms, a welldesigned programming language allows the user to express her ideas efficiently. The design choices however eï...
116
click to vote
SAC
2004
ACM
15 years 8 months ago
2004
ACM
Ubiquitous Computing bears a high potential in the area of aircraft maintenance. Extensive requirements regarding quality, safety, and documentation as well as high costs for havi...
123
click to vote
CRYPTO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In this paper we revisit one of the most popular passwordbased key exchange protocols, namely the OKE (for Open Key Exchange) scheme, proposed by Luck in 1997. Our result...
117
Voted
EUROCRYPT
2004
Springer
15 years 8 months ago
2004
Springer
Generating a distributed key, where a constant fraction of the players can reconstruct the key, is an essential component of many largescale distributed computing tasks such as ful...
FASE
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Software debugging is the activity of locating and correcting erroneous statements in programs. Automated tools to locate and correct the erroneous statements in a progra...