5227 search results - page 311 / 1046 » Constructing New Media |
202
click to vote
EUROCRYPT
2004
Springer
16 years 27 days ago
2004
Springer
Abstract. We propose a simple and efficient construction of a CCAsecure public-key encryption scheme from any CPA-secure identity-based encryption (IBE) scheme. Our construction re...
242
click to vote
AGENTCL
2003
Springer
16 years 22 days ago
2003
Springer
The goal of this paper is to present a computational framework that enables us to generate elementary speech act sequences in a dialogue between an electronic assistant and a compu...
172
Voted
HT
1991
ACM
15 years 11 months ago
1991
ACM
Research on understanding linear texts has shown that comprehension and navigation mainly depend on the reader’s ability to construct a coherent mental representation. While the...
219
Voted
APN
2006
Springer
15 years 9 months ago
2006
Springer
Program verification is usually done by adding specifications and invariants to the program and then proving that the verification conditions are all true. This makes program verif...
184
Voted
DAGSTUHL
2006
15 years 9 months ago
2006
An incremental development framework which supports a conform construction of Protocol State Machines (PSMs) is presented. We capture design concepts and strategies of PSM constru...