Sciweavers

31324 search results - page 245 / 6265
» Compare
Sort
View
ETS
2007
IEEE
69views Hardware» more  ETS 2007»
15 years 7 months ago
Teachers' Experiences with Computers: A Comparative Study
Min Shi, Barbara Bichelmeyer
FAC
2007
128views more  FAC 2007»
15 years 7 months ago
Verifying a signature architecture: a comparative case study
Abstract. We report on a case study in applying different formal methods to model and verify an architecture for administrating digital signatures. The architecture comprises seve...
David A. Basin, Hironobu Kuruma, Kunihiko Miyazaki...