Sciweavers

1897 search results - page 147 / 380
» Early application identification
Sort
View
129
Voted
CCR
2000
101views more  CCR 2000»
15 years 4 months ago
Knowledge-proof based versatile smart card verification protocol
We propose a zero-knowledge interactive proof based identification and signature scheme. The protocol is based on Euler's totient function and discrete logarithms over the ri...
Dae Hun Nyang, Joo-Seok Song
DATE
2010
IEEE
111views Hardware» more  DATE 2010»
15 years 9 months ago
Evaluation of runtime task mapping heuristics with rSesame - a case study
Abstract—rSesame is a generic modeling and simulation framework which can explore and evaluate reconfigurable systems at the early design stages. The framework can be used to ex...
Kamana Sigdel, Mark Thompson, Carlo Galuzzi, Andy ...
ARCS
2006
Springer
15 years 8 months ago
Estimating Energy Consumption for an MPSoC Architectural Exploration
Early energy estimation is increasingly important in MultiProcessor System-On-Chip (MPSoC) design. Applying traditional approaches, which consist in delaying the estimation until t...
Rabie Ben Atitallah, Smaïl Niar, Alain Greine...
IIE
2006
101views more  IIE 2006»
15 years 4 months ago
Finnish Teachers and Pupils as Users of ICT
The main task of this follow-up study was to describe teachers' expectations, experiences and possible changes in the pedagogical use of ICT. As a part of an ICT development p...
Päivi Atjonen
TSE
1998
131views more  TSE 1998»
15 years 4 months ago
Experiences Using Lightweight Formal Methods for Requirements Modeling
—This paper describes three case studies in the lightweight application of formal methods to requirements modeling for spacecraft fault protection systems. The case studies diffe...
Steve M. Easterbrook, Robyn R. Lutz, Richard Covin...