4325 search results - page 460 / 865 » Incremental computation with names |
179
Voted
CIS
2005
Springer
16 years 12 days ago
2005
Springer
In this paper we show that two potential security vulnerabilities exist in the strong password-only authenticated key exchange scheme due to Jablon. Two standardised schemes based...
136
click to vote
CONCUR
2005
Springer
16 years 12 days ago
2005
Springer
In this paper we use the timed modal logic Lν to specify control objectives for timed plants. We show that the control problem for a large class of objectives can be reduced to a ...
188
click to vote
EPEW
2005
Springer
16 years 12 days ago
2005
Springer
We develop the static and dynamic semantics of PiDuce, a process calculus with XML values, schemas, and pattern matching. PiDuce values include channel names, therefore the structu...
159
Voted
GECCO
2005
Springer
16 years 12 days ago
2005
Springer
A hybrid evolutionary algorithm (EA) for the p-median problem consist of two stages, each of which is a steady-state hybrid EA. These EAs encode selections of medians as subsets o...
155
click to vote
GECCO
2005
Springer
16 years 12 days ago
2005
Springer
In order to overcome the low convergence speed and prematurity of classical genetic algorithm, an improved method named directional self-learning of genetic algorithm (DSLGA) is p...