6047 search results - page 811 / 1210 » Modeling with Extend |
185
click to vote
FSTTCS
2003
Springer
16 years 21 hour ago
2003
Springer
We prove the Needham-Schroeder-Lowe public-key protocol secure under real, active cryptographic attacks including concurrent protocol runs. This proof is based on an abstract crypt...
207
click to vote
EMO
2001
Springer
15 years 11 months ago
2001
Springer
This paper studies the influence of what are recognized as key issues in evolutionary multi-objective optimization: archiving (to keep track of the current non-dominated solutions...
166
click to vote
SSD
2001
Springer
15 years 11 months ago
2001
Springer
The notion of time granularity comes into play in a variety of problems involving time representation and management in database applications, including temporal database design, t...
191
click to vote
VL
2000
IEEE
15 years 11 months ago
2000
IEEE
Concurrent programming is a complex task, even with modern languages such as Java who provide languagebased support for multithreading and synchronization. In addition to typical ...
203
click to vote
ISKI
1994
15 years 11 months ago
1994
There is a manifold of meanings we could associate with the term \evolution" in the database arena. This paper tries to categorize some of these into a unique framework, showi...