1898 search results - page 37 / 380 » Weak Keys for IDEA |
TCS
2008
13 years 8 months ago
2008
Analysis of Distributed Abstract Machines Damien Pous ENS Lyon, France. We illustrate the use of recently developed proof techniques for weak bisimulation sing a generic framework...
CSI
2010
13 years 7 months ago
2010
Song [8] proposed very recently a password-based authentication and key establishment protocol using smart cards which attempts to solve some weaknesses found in a previous scheme...
AUTOMATICA
2006
13 years 8 months ago
2006
This work is concerned with numerical methods for controlled regime-switching diffusions, and regime-switching jump diffusions. Numerical procedures based on Markov chain approxim...
AIMS
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. This paper presents the idea of a fully decentralized peer-to-peer collaborative network with a robust, scalable and incentive-compatible system enabling storage, retriev...
RE
2006
Springer
13 years 8 months ago
2006
Springer
We briefly review the history and key ideas in Goal-Oriented Requirements Engineering research. We then sketch two applications of these ideas. The first involves establishing an ...