Controlling digital signature services using a smartcard
- Christopher J Holloway
- 1995
- Computers and Security
Publications
9082 results for Computer Science
Competitive paging with locality of reference
- Allan Borodin
- Sandy Irani
- et al.
- 1995
- Journal of Computer and System Sciences
Atomic broadcast: From simple message diffusion to byzantine agreement
- Flavju Cristian
- Houtan Aghili
- et al.
- 1995
- Information and Computation
A Universal Finite Memory Source
- Meir Feder
- 1995
- IEEE Trans. Inf. Theory
Multiclass Query Scheduling in Real-Time Database Systems
- HweeHwa Pang
- Michael Carey
- et al.
- 1995
- IEEE Transactions on Knowledge and Data Engineering
Electromigration and stress-induced voiding in fine Al and Al-alloy thin-film lines
- C.-K. Hu
- K.P. Rodbell
- et al.
- 1995
- IBM J. Res. Dev
A fast Poisson solver for complex geometries
- A. McKenney
- L. Greengard
- et al.
- 1995
- Journal of Computational Physics
Analysis of Coding Schemes for Modulation and Error Control
- Khaled A. S. Abdel-Ghaffar
- Mario Blaum
- et al.
- 1995
- IEEE Trans. Inf. Theory
Verity - a formal verification program for custom CMOS circuits
- Andreas Kuehlmann
- A. Srinivasan
- et al.
- 1995
- IBM J. Res. Dev
Architectural timing verification of CMOS RISC processors
- Pradip Bose
- S. Surya
- 1995
- IBM J. Res. Dev